supremum = batas atas terkecil
Setiap himpunan riil hingga memiliki batas atas terkecil.