Definition:Mapping Induced on Powerset

Definition
The mapping induced on a powerset can be either of two concepts: