$(R,<)$ bir tamsıralama olsun. $A\subseteq R$ herhangi bir altküme ve $s \in R$ olsun.
sup$A=s$ eşitliği için,
$i.$ Her $a \in A$ için $a \leq s$, ve
$ii.$ Her $\varepsilon >0$ için, $s-\varepsilon >a$ eşitsizliğini sağlayan bir $a \in A$ sayısı vardır.
Benim sorum: Birinci koşul $s$ 'nin $A$'nın bir üstsınırı olduğunu söylüyor; ikincisi ise $s$'den küçük hiçbir sayının nasıl $A$'nın üstsınırı olamayaağını söylüyor?