en el que se ha definido una relación binaria formula_32 representada en la figura, siendo formula_43 un conjunto totalmente ordenado.