Dalam teori himpunan, komplemen himpunan , sering kali dilambangkan oleh (atau ),[1][2] adalah unsur yang bukan di .[3]
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 .[1]