\begin{definition}[Definition:Pseudocomplemented Lattice]
Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice with smallest element $\bot$.
Then $\struct {L, \wedge, \vee, \preceq}$ is a '''pseudocomplemented lattice''' {{iff}} each element $x$ of $L$ has a pseudocomplement.
The pseudocomplement of $x$ is denoted $x^*$.
\end{definition}