Coba jelasin Sifat-sifat dari Komplemen (teori himpunan) dong

Misalkan  dan  menjadi dua himpunan dalam sebuah semesta . Identitas berikut menangkap sifat-sifat komplemen mutlak yang penting:

(ini diikuti dari kesetaraan syarat dengan kontrapositifnya).

Hukum komplemen involusi atau ganda:

Hubungan antara komplemen mutlak dan relatif:

Hubungan dengan sebuah beda himpunan:

Dua hukum komplemen pertama di atas menunjukkan bahwa jika  adalah sebuah himpunan takkosong, subhimpunan wajar , maka  adalah penyekatan .