Theorem 3.6: If A is a set then i_A is both one to one and onto.

Proof: It is clearly well defined.

(one to one) Assume that

Then by the definition of the identity function, Definition 3.9

and the function is one to one.

(onto) Let a be an element of A. Then since

there is an element of A which maps to a.