Fig.2 Diagram komutatif tentang koneksi antara relasi tegas/tak-tegas dan dual mereka, lewat operasi reflexive closure ( cls ), irreflexive kernel ( ker ), dan converse relation ( cnv ). Setiap relasi ditunjukkan dengan matriks biner untuk poset yang diagram Hassenya digambarkan di bagian tengah ilustrasi. Sebagai contoh, 3
≰
4


{\displaystyle 3\not \leq 4} mengartikan elemen di baris-3 kolom-4 pada matriks di sisi kiri bawah kosong.