Sejam $X$ um conjunto bem ordenado e $S \subset X$ um subconjunto limitado superiormente. Considere então $ A \subset X$ o subconjunto das cotas superiores de $S$. Como X é bem ordenado existe $a \in A$ tal que $ a \leq b$ $\forall b \in A$ e $a$ é o supremo de A.