Dado un conjunto A en el que se ha definido una relación binaria formula_118, siendo formula_119 un conjunto totalmente ordenado.