Definition:Operator Theory