Definition:Mapping Induced on Powerset by Inverse of Mapping