# Definition:Supremum of Set/Finite Supremum

Let $\struct {S, \preceq}$ be an ordered set.
Let $T \subseteq S$ admit a supremum $\sup T$.
If $T$ is finite, $\sup T$ is called a finite supremum.