spezielles Element eines Verbandes.

Sei L ein Verband mit 0 und 1 und a ∈ L. Ein Element a′ ∈ L heißt Komplement von a, falls a ∨ a^′ = 1 und a ∧ a′ = 0. Die Menge der Komplemente von a wird mit a^⊥ bezeichnet.