Consideremos en formula_4 la relación binaria