Estremo superiore e estremo inferiore: differenze tra le versioni

== Definizione ==

Siano <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>