İpucu: Doğrudan tanımlarından yapılabilir veya:
(\emptyset\neq S\subset \mathbb{R} sınırlı olsun) \sup ve \inf tanımlarından şunu gösterebilirsin) \forall \ a,b\in\mathbb{R},\ (a\leq b) için:
S\subseteq [a,b] \Leftrightarrow a\leq \inf S\textrm{ ve } \sup S\leq b