Category:Boolean Algebra is Equivalent to Boolean Lattice

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Boolean Algebra is Equivalent to Boolean Lattice:


Boolean Algebra as Boolean Lattice

Let $\struct {S, \vee, \wedge, \neg}$ be a Boolean algebra.

Let $\preceq$ be the ordering on $S$ defined as:

$a \preceq b \iff a \vee b = b$

for all $a, b \in S$.


Then $\struct {S, \vee, \wedge, \preceq}$ is a Boolean lattice.


Boolean Lattice as Boolean Algebra

Boolean Lattice as Boolean Algebra

Pages in category "Boolean Algebra is Equivalent to Boolean Lattice"

The following 2 pages are in this category, out of 2 total.