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

(related to Axiom: Schema of Separation Axioms (Restricted Principle of Comprehension))

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.

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011
  2. Ebbinghaus, H.-D.: "Einf├╝hrung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition