Definition:Empty Supremum

From ProofWiki
Jump to navigation Jump to search

Definition

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


Then the empty supremum is the supremum $\sup \varnothing$.


Also see