Definition:Image of Subset under Relation