en el que se ha definido, entre los elementos del conjunto, una relación binaria: formula_1 que representamos formula_55 y la relación entre elementos: