Definition ∀x∈X:f(x)=x A function that always returns the value that was used as its argument, unchanged