Definition:Operation Induced on Power Set