Sea formula_158 una transformación de un conjunto formula_162