In matematica, l'estremo inferiore di un insieme è minore o uguale al più grande di tutti gli elementi contenuti nell'elemento di raccolta. In particolare, per non <math> (A, \ leq) </ math> è un insieme parzialmente ordinato, <math> B \ subseteq A </ math>, situato <math> C </ math> è dal <math> B </ math> è una raccolta che consista del limite inferiore, vale a dire
<CENTER> <math> C = \ {y | y \ in A \ wedge \ forall x \ in B, y \ leq x \} </ math>
</ Center> Se <math> C </ math> L'elemento di maggior <math> y_0 </ math> esiste <math> y_0 </ math> è chiamata <math> B </ math> limite inferiore il più grande o estremo inferiore.
|