Si el conjunto A y la relación binaria formula_118, que expresaremos formula_119 es un orden total y tiene mínimo, entonces es un conjunto con orden total y acotado inferiormente.