Definition:Mapping Induced on Powerset by Relation