Paragraf
Pada banyak poset, operasi biner dapat didefinisikan menggunakan batas bawah terbesar dan batas atas terkecil dari dua elemen. Latis adalah poset \(L\) sedemikian sehingga setiap pasangan elemen dalam \(L\) memiliki batas atas terkecil dan batas bawah terbesar. Batas atas terkecil dari \(a,
b \in L\) disebut gabung dari \(a\) dan \(b\text{,}\) serta dinotasikan dengan \(a \vee b\text{.}\) Batas bawah terbesar dari \(a,
b \in L\) disebut temu dari \(a\) dan \(b\text{,}\) serta dinotasikan dengan \(a \wedge b\text{.}\)
Dalam Konteks