Templat:Relasi biner

Relasi biner 
Simetrik Antisimetrik Connex Ditemukan baik Telah bersambung Telah bertemu
Relasi ekuivalen
Praurutan (Kuasiorder)
Urutan parsial
Praurutan total
Urutan total
Pra-urutan rapi
Kuasi urutan rapi
Urutan rapi
Kisi
Sambungan-semikekisi
Pertemuan-semikekisi
Simbol "" menunjukkan bahwa sifat kolom diperlukan dalam definisi baris.
Misalnya, definisi relasi ekuivalen diperlukan menjadi simetris.
Semua definisi secara diam-diam memerlukan ketransitifan dan refleksivitas.