Category:Injection has Surjective Left Inverse Mapping