Kadang-kadang kita akan bekerja di dalam satu himpunan tetap \(U\text{,}\) yang disebut himpunan semesta. Untuk setiap himpunan \(A \subset U\text{,}\) kita mendefinisikan komplemen dari \(A\text{,}\) yang dilambangkan dengan \(A'\text{,}\) sebagai himpunan
\begin{equation*}
A' = \{ x : x \in U \text{ dan } x \notin A \}\text{.}
\end{equation*}