Komplemen (teori himpunan) itu apa sih?

Dalam teori himpunan, komplemen himpunan , sering kali dilambangkan oleh  (atau ), adalah unsur yang bukan di .

Ketika semua himpunan terhadap pertimbangan dianggap menjadi subhimpunan diberikan himpunan , komplemen mutlak  adalah himpunan unsur di , tapi bukan di .

Komplemen relatif  terhadap sebuah himpunan , juga disebut beda himpunan  dan , ditulis , adalah himpunan unsur-unsur di  tapi bukan di .