En otras palabras, formula_4 es la relación binaria que verifica: