Category:Definitions/Brouwerian Lattices
Jump to navigation
Jump to search
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$.
Pages in category "Definitions/Brouwerian Lattices"
The following 3 pages are in this category, out of 3 total.