Axioma del supremo

Si ${\displaystyle E\subseteq \mathbb {R} }$ es un conjunto no vacío acotado superiormente en ${\displaystyle \mathbb {R} }$ , entonces ${\displaystyle E\,}$ tiene supremo en ${\displaystyle \mathbb {R} }$.