Si formula_1 es un conjunto transitivo, su sucesor formula_25 es también un conjunto transitivo.