Definition:Mapping Induced on Powerset by Inverse