eine beschränkte Halbordnung, die einen Verband darstellt.

In einem beschränkten Verband (V, ∧, ∨) gilt das Gesetz der 0 und 1, d. h. es gilt x ∨ 0 = x und x ∧ 1 = x für alle x ∈ V, wobei 0 das Nullelement und 1 das Einselement des Verbandes ist.