Untuk setiap \(y\in R\text{,}\) berlaku \(\sup(S)\leq y\text{.}\) Artinya, \(\sup(S)\) sendiri merupakan batas bawah bagi \(R\text{.}\)