Category:Subset of Domain is Subset of Preimage of Image