It is no coincidence that the set difference $A\setminus B =\{x \mid x\in A \wedge x\notin B\}$ and the set complement $B^C =\{x \mid x\in A\wedge x\notin B\}$ have the same set-builder notations. In fact, they are almost the same mathematical concepts. Certainly, they are equal sets $B^C=A\setminus B$, and we therefore also call the set difference $A\setminus B$ the “relative complement of $B$ with respect to $A$”. The reason why mathematicians use a separate name “complement” and notation $B^C$ instead of just talking about the set difference $A\setminus B$ is that sometimes, the set $A$ is so clear from the context that makes a line of thought clearer to leave $A$ out. This is another important consequence of the axiom of separation:

**Corollary**: Set Difference and Set Complement are the Same Concepts

In the Zermelo-Frankel set theory, no set $B$ has an “absolute complement” $B^C$. This set complement is equal to the set difference $A\setminus B$ being the **relative complement** of $B$ with respect to $A$. This is true even if we take $A$ as the universal set.

| | | | | created: 2019-01-10 22:41:17 | modified: 2019-01-10 22:58:10 | by: *bookofproofs* | references: [656], [983]

## 1.**Proof**: *(related to "Set Difference and Set Complement are the Same Concepts")*

[983] **Ebbinghaus, H.-D.**: “Einführung in die Mengenlehre”, BI Wisschenschaftsverlag, 1994, 3

[656] **Hoffmann, Dirk W.**: “Grenzen der Mathematik – Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011

© 2018 Powered by BooOfProofs, All rights reserved.