La función de identidad onX, id|X:X↦X, es la función definida porid|X(x)=x. Iff:X→Y es una biyección, entonces\(f^{-...La función de identidad onX, id|X:X↦X, es la función definida porid|X(x)=x. Iff:X→Y es una biyección, entoncesf−1 es la función única tal quef−1∘f=id|X yf∘f−1=id|Y. Porque f(x)=x2no es una inyección, no tiene inversa, incluso después de restringir el codominio para que sea el rango.