Langkah 1. Untuk setiap \(u\in U\subseteq S\text{,}\) berlaku \(u\leq\sup S\text{.}\)

Langkah 2. Supremum \(U\) tidak melebihi batas atas mana pun bagi \(U\text{.}\)