Definition:Preimage of Subclass under Mapping