Jabarkan f (0) = 0. dari Semikekisi

Dalam perumusan teori tatanan, kondisi ini hanya menyatakan bahwa homomorfisme semikekisi-sambungan adalah fungsi yang mempertahankan sambungan biner dan elemen terkecil. Ganda mengganti ∧ dengan ∨ dan 0 dengan 1 mengubah definisi homomorfisme semikekisi-sambungan menjadi padanan semikekisi-pertemuan.

Perhatikan bahwa homomorfisme semikekisi monoton sehubungan dengan relasi order yang terkait penjelasan, lihat pelestarian entri batas.