Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Discrete mathematics, continuous mathematics, and probability / 3 / c / i

An element $u\in A$ is a least upper bound of $S$ if it is an upper bound, meaning $s\le u$ for every $s\in S$, and $u\le v$ for every upper bound $v\in A$ of $S$. The candidate need not belong to $S$. Because a partial order is an antisymmetric relation, two least upper bounds must be equal. A least upper bound is also called the supremum.