La aplicación identidad en un conjunto formula_1,