Estremo superiore e estremo inferiore: differenze tra le versioni

Sia <math>(X,\leq)</math> un [[ordine totale|insieme totalmente ordinato]], <math>E\subseteq X</math>. Se esiste un elemento <math>y\in X</math> tale che:

* <math>y</math> è un [[maggiorante]] di <math>E</math>

diciamo che <math>y</math> è '''estremo superiore''' di <math>E</math>, in simboli <math>y=\sup E</math> e diciamo che <math>E</math> è limitato superiormente.