Jabarkan Secara formal: dari Pelengkap (teori set) dalam bahasa melayu

Jika  ialah set nombor nyata dan  ialah set nombor nisbah, maka  ialah set nombor bukan nisbah.

Andaikan , , dan  menjadi tiga set. Identiti berikut merangkumi sifat-sifat penting pelengkap relatif:

, dengan kes khusus penting  menunjukkan bahawa persilangan dapat diungkapkan hanya menggunakan operasi pelengkap relatif.

Sebuah hubungan binari  dapat ditakrifkan sebagai sebuah subset darab set . Hubungan pelengkap  merupakan pelengkap set  di . Pelengkap relatif  dapat ditulis