Coba jelasin Sifat-sifat dari Pelengkap (teori set) dalam bahasa melayu dong

Andaikan  dan  menjadi dua set dalam sebuah semesta . Identiti berikut merangkumi sifat-sifat pelengkap mutlak yang penting:

(ini diikuti daripada kesetaraan syarat dengan kontrapositifnya).

Hukum pelengkap involusi atau ganda:

Hubungan antara pelengkap mutlak dan relatif:

Hubungan dengan sebuah beza set:

Dua hukum pelengkap pertama di atas menunjukkan bahawa jika  adalah sebuah set bukan kosong, subset , maka  ialah pemetakan .