Definition:Operation Induced on Set of Mappings