Definition:Image of Subclass under Mapping