Del mismo modo, "I(x) = x" puede ser reescrita de forma anónima como "x → x", que se lee: «el argumento "x" se mapea a sí mismo».