Definition:Brouwerian Lattice

Definition

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$.

Also known as

A Brouwerian lattice is also known as a relatively pseudocomplemented lattice .

Also see

• Results about Brouwerian lattices can be found here.

Source of Name

This entry was named for Luitzen Egbertus Jan Brouwer.

Sources

• This article incorporates material from Brouwerian lattice on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.