Jika S himpunan semesta dan A suatu himpunan di dalam himpunan S, maka himpunan A’ (komplemen dari himpunan A) adalah himpunan yang anggotanya adalah anggota Semesta (S) selain anggota A.

A’ = { x | x S dan x A }