Category:Pseudocomplemented Lattices

This category contains results about Pseudocomplemented Lattices.
Definitions specific to this category can be found in Definitions/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.