Definition:Operator