Definition:Pseudocomplemented Lattice
Jump to navigation
Jump to search
Definition
Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice with smallest element $\bot$.
Then $\struct {L, \wedge, \vee, \preceq}$ is a pseudocomplemented lattice if and only if each element $x$ of $L$ has a pseudocomplement.
The pseudocomplement of $x$ is denoted $x^*$.
Also see
- Results about pseudocomplemented lattices can be found here.
Sources
- This article incorporates material from pseudocomplement on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.