Estremo superiore e estremo inferiore: differenze tra le versioni

* se <math>z <= y</math> e <math>z</math> è un maggiorante di <math>E</math> allora <math> y=z </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.

 

Se invece esiste un elemento <math>x\in X</math> tale che:

* <math>x</math> è un [[minorante]] di <math>E</math>

diciamo che <math>x</math> è '''estremo inferiore''' di <math>E</math>, in simboli <math>x=\inf E</math> e diciamo che <math>E</math> è limitato inferiormente. Analogamente si riformula la seconda proprietà.