completely continuous compact linear operator

• 完全连续紧线性算子