Definition:Pseudocomplemented Lattice

From ProofWiki
Jump to navigation Jump to search

Definition

Let $(L, \wedge, \vee, \preceq)$ be a lattice with smallest element $\bot$.


Then $(L, \wedge, \vee, \preceq)$ is a pseudocomplemented lattice iff each element $x$ of $L$ has a pseudocomplement.

The pseudocomplement of $x$ is denoted $x^*$.


Sources