Tolong jelaskan mengenai Definisi aljabar dari Semikekisi

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: