Definition:Pseudocomplemented Lattice

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^*$.