Compact operator
In functional analysis, a branch of mathematics, a compact operator is a linear operator that behaves, in several important respects, like a finite-dimensional operator such as a matrix. In infinite-dimensional spaces, bounded sets are usually not compact, and bounded sequences need not have convergent subsequences.