Category:Definitions/Brouwerian Lattices

This category contains definitions related to Brouwerian Lattices.
Related results can be found in Category: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$.