Let $A$ be a subset of $X$. The complement of $A$ in $X$ (denoted $A^{\complement}$ when the larger set $X$ is clear from context) is the set difference $X\setminus A$.

The Venn diagram below illustrates the complement of $A$ in red.

• $(A^{{\complement}})^{\complement}=A$

• $\emptyset^{\complement}=X$

• $X^{\complement}=\emptyset$

• If $A$ and $B$ are subsets of $X$, then $A\setminus B=A\cap B^{\complement}$, where the complement is taken in $X$.

Let $X$ be a set with subsets $A_{i}\subset X$ for $i\in I$, where $I$ is an arbitrary index-set. In other words, $I$ can be finite, countable, or uncountable. Then