Category:Subset equals Preimage of Image implies Injection