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