Kekisi (tatanan)

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.

Kisi adalah struktur abstrak digunakan dalam subdisiplin matematika dari teori order dan aljabar abstrak. Himpunan terurut sebagian di mana dua elemen memiliki supremum (juga disebut batas atas terkecil atau gabung) dan infimum (juga disebut batas bawah terbesar atau bertemu). Contoh dari bilangan asli, dengan diurutkan oleh pembagian, dimana supremum adalah kelipatan persekutuan terkecil dan infimum adalah pembagi persekutuan terbesar.

Kisi dikarakterisasi sebagai struktur aljabar menggunakan aksioma atik identitas. Karena kedua definisi tersebut ekuivalen, teori kisi yang menggunakan teori urutan dan aljabar universal. Semikisi salah satu bagian kisi adalah aljabar Heyting dan Boolean. Struktur "kisi" digunakan teori-urutan serta deskripsi aljabar.