Category:Subset of Codomain is Superset of Image of Preimage