Coba jelasin Definisi aljabar dari Semikekisi dong

Semikekisi-pertemuan adalah struktur aljabar  terdiri dari himpunan S dengan operasi biner ∧, disebut pertemuan, sehingga untuk anggota x, y, dan z dari S , identitas berikut ini: