In mathematics, particularly in order theory, a pseudocomplement is one generalization of the notion of complement. In a lattice L with bottom element...

semicomplements has a greatest element it is usually called pseudocomplement. If the pseudocomplement satisfies the law of the excluded middle, the resulting...

relation. For instance, for every proposition P there exists a relative pseudocomplement P ∗ {\displaystyle P^{*}} , which amounts to { s ⊆ W ∣ s ∩ t = ∅  for...

Normed lattice Ordered vector space – Vector space with a partial order Pseudocomplement Riesz space – Partially ordered vector space, ordered as a lattice...