Diremos que un conjunto formula_1 es transitivo si cada elemento de cada elemento de formula_1 es a su vez un elemento de formula_1.