In functional analysis, a branch of mathematics, a compact operator is a linear operator "L" from a Banach space "X" to another Banach space "Y", such that the image under "L" of any bounded subset of "X" is a relatively compact subset (has compact closure) of "Y".