Pertama-tama, perlu ditekankan bahwa agar himpunan tak kosong S dalam R memiliki supremum, ia

harus memiliki batas atas. Jadi, tidak setiap subset dari R memiliki supremum;

Secara similar, tidak setiap subset dari R memiliki infimum. Memang, ada empat kemungkinan untuk
subset S dari R yang tidak kosong: ia dapat

(i) memiliki supremum dan infimum,

(ii) memiliki supremum tetapi tidak infimum,

(iii) memiliki infimum tetapi tidak memiliki supremum,

(iv) tidak memiliki supremum maupun infimum

Kami juga ingin menekankan bahwa untuk menunjukkan bahwa u=S ¿ untuk beberapa subset tak
kosong S dari R, kita perlu menunjukkan bahwa keduanya (1) dan (2) Definisi 2.3.2(a) berlaku. Ini akan
menjadi pelajaran untuk merumuskan kembali pernyataan-pernyataan ini. Definisi u=S ¿menegaskan
bahwa u adalah batas atas dari S sedemikian sehingga u ≤ v untuk setiap batas atas v dari S. Akan
berguna untuk memiliki cara alternatif untuk menyatakan gagasan bahwa u adalah ''terkecil'' dari batas
atas S. Salah satu caranya adalah dengan mengamati bahwa bilangan apa pun yang lebih kecil dari u
bukanlah batas atas S. Artinya, jika z <u, maka z bukan batas atas S. Tetapi untuk mengatakan bahwa z
bukan batas atas S berarti ada elemen s z di S sedemikian rupa sehingga z <s z. Demikian pula, jika ε > 0,
maka u−ε lebih kecil dari u dan dengan demikian gagal menjadi batas atas S.

Pernyataan berikut tentang batas atas u dari himpunan S adalah ekuivalen:

(1) jika v adalah batas atas dari S, maka u ≤ v ,

(2) jika z <u, maka z bukan batas atas S,

(3) jika z <u, maka ada sz 2 S sehingga z <s z,

(4) jika ε > 0 , maka terdapat sε ∈ S sedemikan sehingga u−ε < s ε.

Oleh karena itu, kita dapat menyatakan dua formulasi alternatif untuk supremum.

2.3.3 Lemma

Suatu bilangan u adalah supremum dari subset tak kosong S dari R jika dan hanya jika u memenuhi
kondisi:

1. s ≤u ∀ s ∈ S
2. Jika v< u ,maka ∃ s' ∈ S sedemikansehingga v< s '

Jika bilangan u bukan supremum dari subset tak kosong S dari R

1. s>u , terdapat s ∈ S Negasi nya
2. Jika v ≥ u , maka ∀ s' ∈ S sedemikian sehingga v ≥ s '
 Untuk pekerjaan masa depan dengan limit, akan berguna jika kondisi ini dinyatakan dalam ε > 0.
Hal ini dilakukan pada lemma berikutnya.

2.3.4 Lemma
Batas atas u dari himpunan tak kosong S dalam R adalah supremum dari S jika dan hanya jika
untuk setiap ε > 0 terdapat sε ∈ S sedemikan sehingga u−ε < s ε
Bukti:

Aksioma kelengkapan property R

2.3.5 setiap himpunan tak kosong pada bilangan ril memiliki batas atas dan juga memiliki
supremum di R
disebut properti supremum di R. analogi untuk