Category:Definitions/Compact Linear Operators