# Definition:Pseudocomplemented Lattice

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