Jabarkan f(1L) = 1M . dari Kekisi (tatanan)

Dalam rumus teori-ordo, bahwa homomorfisme kisi adalah fungsi pengawetan pertemuan dan penggabungan biner. Untuk kisi berbatas, penggunaan elemen terkecil dan terbesar gabungan dan pertemuan himpunan kosong.

Homomorfisme kisi monoton dengan relasi keteraturan terkait; lihat Fungsi pemeliharaan batas. Kebalikannya tidak benar: monotonisitas tidak menggunakan untuk bertemu dan bergabung (lihat Gambar 9), meskipun pemelihara order bijeksi adalah homomorfisme dari fungsi pembalikan.

Maka  dan  antara dua kisi dengan 0 dan 1. Homomorfisme dari  ke  disebut separating-0,1 jika dan hanya jika  ( yaitu 0) dan  ( yaitu 1).