Pseudocomplement
In mathematics, particularly in order theory, a pseudocomplement is one generalization of the notion of complement. In a lattice L with bottom element 0, an element x ∈ L is said to have a pseudocomplement if there exists a greatest element x ∗ ∈ L {\displaystyle x^{*}\in L} with the property that x ∧ x ∗ = 0 {\displaystyle x\wedge x^{*}=0} .