Jabarkan Semikisi kompleks dari Kekisi lengkap

Dalam teori urutan, pertemuan arbitrer dapat diekspresikan dalam bentuk gabungan arbitrer (untuk detailnya, lihat kompleks (teori order)). Maka, berarti untuk pertemuan atau gabungan untuk kelas dari kisi kompleks.

Maka, penulis menggunakan istilah complete meet-semilattice atau complete join-semilattice sebagai cara lain untuk merujuk ke kisi kompleks. Meskipun serupa pada objek, istilah tersebut memerlukan pengertian homomorfisme berbeda, seperti dijelaskan bagian morfisme di bawah ini.

Penulis tidak menggunakan perbedaan morfisme (terutama konsep dari "morfisme semikisi kompleks" ditentukan secara umum). Maka, meet-semilattices kompleks didefinisikan sebagai meet-semilattices merupakan pesanan parsial lengkap . Konsep tersebut adalah gagasan "kompleks" dari semikisi-pertemuan yang belum menjadi kisi (pada kenyataannya, hanya elemen teratas yang bisa dihilangkan). Diskusi ini juga ditemukan di artikel semikisi.