Pernyataan ketunggalan berbentuk: jika \(m\) dan \(m'\) keduanya merupakan batas bawah terbesar \(S\text{,}\) maka keduanya sama. Karena objek-objek ini berada dalam himpunan terurut \(\R\text{,}\) cukup memperoleh kedua arah perbandingan, yaitu \(m\leq m'\) dan \(m'\leq m\text{.}\) Sifat antisimetri urutan real menyimpulkan \(m=m'\text{.}\) Langkah-langkah berikut menunjukkan bagaimana definisi batas bawah terbesar menghasilkan kedua pertidaksamaan itu.