Jabarkan . dari Komplemen (teori himpunan)

Disini,  sering kali dipandang sebagai sebuah matriks logis dengan baris mewakili unsur-unsur , dan unsur-unsur kolom . Kebenaran mengenai  berpadanan dengan 1 dalam baris , kolom . Menghasilkan relasi komplementer ke , kemudian berpadanan dengan menukar semua 1 dan 0, dan 0 ke 1 untuk matriks logis dari komplemen.

Bersama dengan komplemen relasi dan relasi sebalik, relasi komplementer dan aljabar himpunan merupakan operasi-operasi elementer dari kalkulus relasi.