Category:Two (Boolean Lattice)
Jump to navigation
Jump to search
This category contains results about Two (Boolean Lattice).
Define $\preceq$ to be the ordering determined by putting $\bot \preceq \top$.
When endowed with the ordering $\preceq$, $\mathbf 2$ becomes a Boolean lattice, as shown on Two is Boolean Lattice.
The (Boolean lattice) two, is defined as $\struct{\mathbf 2, \lor, \land, \neg, \preceq}$.
Pages in category "Two (Boolean Lattice)"
The following 4 pages are in this category, out of 4 total.