Jabarkan Urutan dimana anggotanya terdaftar; dari Semikekisi

Multiplisitas satu atau lebih anggota,

Komutatifitas dan asosiatif ∧ memastikan (1)idempoten (2). semikekisi tersebut adalah semikekisi bebas di atas L. Itu tidak dibatasi oleh L, karena himpunan bukan anggota sendiri.

Mereologi ekstensional klasik mendefinisikan semikekisi-sambungan, dengan sambungan baca sebagai fusi biner. semikekisi dibatasi dari atas oleh individu dunia.

Diberikan himpunan S, himpunan partisi  dari S adalah semikekisi-sambungan. Faktanya, urutan parsial diberikan oleh  jika  adalah  dan sambungan dari dua partisi diberikan oleh  . semikekisi ersebut dibatasi, dengan elemen terkecil menjadi partisi tunggal .