en el que se ha definido una relación binaria formula_2, siendo formula_3 un conjunto parcialmente ordenado.