Definition:Compact Operator