Definition:Supremum of Set/Finite Supremum

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

Let $T \subseteq S$ admit a supremum $\sup T$.

If $T$ is finite, $\sup T$ is called a finite supremum.

Also see

 * Definition:Finite Infimum