Es decir, formula_109 es el conjunto de todos los formula_6 que son imagen de algún elemento de formula_100.