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