Un conjunto formula_1 es transitivo si y sólo si formula_8.