Category:Definitions/Pseudocomplemented Lattices

This category contains definitions related to Pseudocomplemented Lattices.
Related results can be found in Category:Pseudocomplemented Lattices.

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

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