Bounded lattice

Summary

A bounded lattice is a lattice with a greatest element $1$ and a least element $0$. These elements are the identities for the meet and the join: $x \wedge 1 = x$ and $x \vee 0 = x$. Every finite nonempty lattice is bounded, and bounded lattices are the setting for complements, atoms and Boolean algebras.