maggiorante

maggiorante

maggiorante di un sottoinsieme A ⊆ R, dove R è un insieme dotato di una relazione d’ordine ≤, è un elemento x di R tale che, per ogni a appartenente ad A, vale a ≤ x. Il minimo dei maggioranti, se esiste, è unico ed è detto estremo superiore di A; nel caso in cui esso appartenga ad A, allora è detto massimo. Un insieme dotato di maggioranti è detto limitato superiormente. Cambiando il verso della disequazione si definisce un minorante di A.

Il termine è anche utilizzato in contesti diversi, per una funzione, una successione o una serie, per indicare che i suoi valori o termini non sono inferiori a quelli corrispondenti di una funzione, successione o serie data.