Definition:Compact Linear Operator