Kekisi (tatanan)

Kisi adalah struktur abstrak digunakan dalam subdisiplin matematika dari teori order dan aljabar abstrak. Himpunan terurut sebagian di mana dua elemen memiliki supremum dan infimum. 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.