Así, formula_44 es relación transitiva en formula_25, y por todo lo anterior es formula_148 un conjunto ordenado.