Definition:Pseudocomplemented Lattice

Definition
Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice with smallest element $\bot$.

Then $\struct {L, \wedge, \vee, \preceq}$ is a pseudocomplemented lattice each element $x$ of $L$ has a pseudocomplement.

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