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

element it is usually called pseudocomplement, and the resulting algebra is a Heyting algebra. If the pseudocomplement satisfies the law of the excluded...

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...