Este elemento seria mínimo y definiría una cuota inferior en Z, el conjunto de los números enteros no tiene cuota inferior respecto a la relación binaria: formula_32.