Si formula_1 es un conjunto cuyos elementos son formula_2 y solo ellos, es común representar a este conjunto formula_1 por extensión