en el que se ha definido una relación binaria formula_1 representada en la figura, siendo formula_2 un conjunto parcialmente ordenado, los elementos y de A que cumplen: