Por su parte, inf(A) será el ínfimo de A.