What's interesting about the identity function is that if you give it some a that is a member of X-- so lets say you give it that a-- the identity function applied to that member of X, the identity function of a, is going to be equal to a.