Entre todos los minorantes o cotas inferiores del conjunto P, se denomina ínfimo de S a la mayor de estas cotas inferiores.