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.