spezielles Element eines Verbandes.

Sei x ∈ [a, b] ⊆ L, wobei L ein Verband ist. Falls ein Element x′∈[a, b] mit \(x\wedge {x}^{\prime}=a\) und \(x\vee {x}^{\prime}=b\) existiert, so nennt man x′ ein relatives Komplement von x bezüglich [a, b].