\begin{definition}[Definition:Compact Linear Operator/Inner Product Space]
Let $\struct {X, \innerprod \cdot \cdot}$ be an inner product space.
Let $T : X \to X$ be a compact linear transformation.
We say that $T$ is a '''compact linear operator'''.
\end{definition}