Benar. Bilangan \(\sup S\) adalah batas atas bagi \(U\text{,}\) sehingga batas atas terkecil \(\sup U\) memenuhi \(\sup U\leq\sup S\text{.}\)