Definition:Universal Bounds

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left({S, \preceq}\right)$ be an ordered set.

Let $S$ have a smallest element, $\bot$.

Let $S$ have a greatest element, $\top$.


Then $\bot$ and $\top$ are the universal bounds of $S$.


Sources