en el que se ha definido una relación binaria formula_1 representada en la figura, siendo formula_2 un conjunto parcialmente ordenado.