Definition:Bounded Lattice/Notation

From ProofWiki
Jump to navigation Jump to search

Notation for Greatest and Smallest Elements

The greatest element and smallest element of a bounded lattice are denoted on $\mathsf{Pr} \infty \mathsf{fWiki}$ by $\top$ and $\bot$ respectively.


Some sources use $1$ for the greatest element and $0$ for the smallest element.


Sources