apakah sistem dari semua subset dari sebuah set terbatas di bawah subset operasi dari bentuk sebuah kisi
Lattike (order) -- Sebuah set sebagian terurut adalah sebuah lattik terikat jika dan hanya jika setiap seperangkat elemen yang terbatas (termasuk set kosong) memiliki gabungan dan sebuah pertemuan. Untuk setiap elemen x dari sebuah pose itu secara sepele benar (itu adalah kebenaran yang kosong) bahwa itu adalah variabel untuk semua \naaa: x d (displaystyle untuk semua sebuah\invarnothing \:xxx) dan Á: sebuah x (display for all \a: x (display for all \a: x)