Untuk \(S\neq\varnothing\) yang terbatas di atas, bilangan \(M\in\R\) adalah batas atas terkecil jika \(s\leq M\) untuk setiap \(s\in S\) dan \(M\leq U\) untuk setiap batas atas \(U\) dari \(S\text{.}\) Bilangan ini disebut supremum \(S\) dan ditulis \(\sup S\text{.}\)