Kekisi dikomplemenkan

Dalam matematika disiplin teori tatanan, sebuah kisi dikomplemenkan adalah kisi dengan elemen terkecil 0 dan elemen terbesar 1, dimana setiap elemen a memiliki dikomplemenkan, yaitu elemen b memuaskan a ∨ b = 1 dan a ∧ b = 0.
Dikomplemen tidak menggunakan sifat unik. Sebuah kisi dikomplemenkan relatif adalah kisi sedemikian rupa untuk setiap interval [ c , d ], dipandang sebagai kisi hingga sendiri, adalah kisi dikomplemenkan. Sebuah ortokomplementasi pada kisi dikomplemenkan adalah involusi yang merupakan tatanan invers dan memetakan setiap elemen menjadi pelengkap. Kisi ortokomplementasi yang memenuhi bentuk lemah hukum modular disebut kisi ortomodular. Dalam kisi distributif, komplemen bersifat unik. Setiap kisi distributif komplementer memiliki ortokomplementasi unik dan sebenarnya adalah aljabar Boolean.