Definition:Mapping Induced on Powerset