Category:Brouwerian Lattices

This category contains results about Brouwerian Lattices.
Definitions specific to this category can be found in Definitions/Brouwerian Lattices.

Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice.

Then $\struct {L, \wedge, \vee, \preceq}$ is a Brouwerian lattice if and only if:

for each $x, y \in L$: $x$ has a relative pseudocomplement with respect to $y$.

This pseudocomplement is denoted $x \to y$.