La relación formula_54 es reflexiva y transitiva, y por lo tanto la relación formula_59 definida por la regla