Esto es, "x → x" e "y → y" expresan la misma función: la función identidad.