Definition:Mapping Induced on Powerset by Mapping