Jabarkan dan dari Kekisi (tatanan)

Elemen kisi y dengan elemen penutup x, jika , maka z adalah .

Struktur aljabar , dari himpunan  dan dua biner, operasi komutatif dan asosiatif , dan ,  adalah kisi jika identitas aksiomatik berikut untuk elemen  disebut hukum absorpsi.

Dua identitas berikut sebagai aksioma, keduanya menggunakan dua hukum absorpsi. Maka ini disebut hukum idempoten.

Aksioma menggunakan  dan  adalah semikisi. Hukum absorpsi, dari aksioma di atas di mana keduanya bertemu dan bergabung, membedakan kisi dari sembarang struktur semikisi dan memastikan bahwa dua semikisi berinteraksi dengan tepat. Secara khusus, setiap semikisi adalah dualitas dari yang lain.