zu einem Element v eines Verbandes (V, ≤) mit Nullelement ein Element u aus V mit inf(v, u) = 0 und x ≤ u für alle x ∈ V mit inf(v, x) = 0.

Hierbei bezeichnet inf(a, b) das Infimum der Elemente a und b und 0 das Nullelement des Verbandes. Das Pseudokomplement eines Elementes v ∈ V ist somit das größte Halbkomplement von v. Jedes Element kann höchstens ein Pseudokomplement besitzen.