Proposition 1.5.33.  Let X be a set. Then:
idX is bijective and (idX)-1 = idX
No proof.
References.