Definition:Set Complement

Definition
The set complement (or, when the context is established, just complement) of a set $S$ in a universe $\mathbb U$ is defined as:


 * $\complement \left ({S}\right) = \complement_\mathbb U \left ({S}\right) = \mathbb U \setminus S$

See the definition of Relative Complement for the definition of $\complement_\mathbb U \left ({S}\right)$.

Thus the complement of a set $S$ is the relative complement of $S$ in the universe, or the complement of $S$ relative to the universe.

A common alternative to the symbology $\complement \left ({S}\right)$, which we will sometimes use, is $\overline S$.

Also see

 * Set Difference
 * Relative Complement

Notation
No standard symbol for this concept has evolved. There are alternative symbols for $\complement \left ({S}\right)$ and $\overline S$. $\mathcal C \left ({S}\right)$ is sometimes encountered, and may appear occasionally on this website. Another common one is $S'$, but it can be argued that the symbol $'$ is already overused.

Some authors use $S^c$, but that can also been confused with notation used for the conjugate. Some authors use $C S$. Another one is $S^*$, and another is $\tilde S$. You may encounter others.