Definition:Pseudocomplement
Jump to navigation
Jump to search
Definition
Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice with smallest element $\bot$.
Let $x, x^* \in L$.
Then $x^*$ is the pseudocomplement of $x$ if and only if:
- $x^*$ is the greatest element of $L$ such that $x \wedge x^* = \bot$.
Sources
- This article incorporates material from pseudocomplement on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.