Kekisi lengkap itu apa sih?

Dalam matematika, kisi lengkap adalah himpunan yang tersusun sebagian di mana semua himpunan bagian memiliki supremum (gabung) dan infimum (pertemuan). Kisi lengkap pada aplikasi dalam matematika dan ilmu komputer. Sebagai contoh khusus dari kisi, dengan teori urutan dan aljabar universal.

Kisi kompleks tidak disamakan dengan urutan parsial kompleks ( CPO ), yang merupakan kelas umum dari urutan himpunan sebagian. Kisi kompleks spesifik adalah aljabar Boolean kompleks dan aljabar Heyting kompleks ( lokal ).