Coba jelasin Definisi formal dari Kekisi lengkap dong

Himpunan sebagian sebagian (L, ≤) adalah kisi kompleks jika bagian A dari L dari kedua infimum (juga disebut ketemu) dan supremum (juga disebut bergabung) di ( L, ≤).

Bertemu dilambangkan dengan , dan bergabung oleh .

Perhatikan bahwa dalam kasus khusus di mana A adalah himpunan kosong, pertemuan A akan menjadi elemen L terbesar. Demikian pula, gabungan dari himpunan kosong menghasilkan elemen terkecil . Karena definisi tersebut juga memastikan pertemuan dan gabungan biner, kisi kompleks membentuk kelas khusus kisi berbatas.

Implikasi lebih lanjut dari definisi di atas dibahas dalam artikel tentang sifat kompleks dalam teori urutan.