Mapping from Set to Itself is Injection Iff Surjection