Supremum

Definition

$\sup (A)$ Consider an Partially Ordered Set $X$ and a subset $Y\subset X$. The Supremum (least upper bound) $y_0$ of $Y$ is defined as the smallest element of the set of upper bounds