minorante

minorante

minorante di un sottoinsieme A ⊆ R, dove R è un insieme dotato di una relazione d’ordine parziale ≤, è un elemento x di R tale che, per ogni a appartenente ad A, vale x ≤ a. Il massimo dei minoranti, se esiste, è unico ed è detto estremo inferiore di A; nel caso in cui esso appartenga ad A, allora è detto massimo. Un insieme dotato di minoranti è detto inferiormente limitato.