The identity map has f(x)=x forall x in X.