definition of operator