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