Estremo superiore e estremo inferiore: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 12:
Se esiste un elemento <math>y\in X</math> tale che:
* <math>y</math> è un [[maggiorante]] di <math>E</math>
* <math>\nexists z \in X</math> tale che <math>z</math> è un maggiorante di <math>E</math> e <math> z<y </math> (vale a dire il maggiorante più piccolo è y stesso)
diciamo che <math>y</math> è '''estremo superiore''' di <math>E</math>, in simboli <math>y=\sup E</math>.