Begriff aus der Theorie der Verbände.

Ein relatives Pseudokomplement eines Elementes a eines Verbandes (V, ≤) bezüglich eines zweiten Elementes b aus V ist ein Element c ∈ V mit der Eigenschaft, daß für alle x ∈ V die Ungleichung inf(a, x) ≤ b genau dann gilt, wenn x ≤ c gilt. Hierbei bezeichnet inf(a, x) das Infimum der Elemente a und x.