Ínfimo

Sea un conjunto A con un subconjunto $A_i \in A$, si $A_i$ está acotado inferiormente a la mayor de esas cotas inferiores la llamaremos ínfimo y se denota como $inf(A_i)$ si existe.