Definition:Compact Linear Operator

Also see

 * Definition:Compact Linear Transformation