Dada una función formula_261, tal que la imagen de un elemento es él mismo, i.e.