Definition:Operation on Set