Dado un conjunto A y una relación binaria formula_1 definida entre los elementos de A, que expresaremos formula_2 y la relación se representa: