Category:Definitions/Operator Theory