Rename null transform to identity transform?

[martinthomson]

$f(X) \mapsto X$ is the identity function if $\forall x\in X, f(x) = x$. I think that is what you want.