\begin{definition}[Definition:Compact Linear Operator/Normed Vector Space]
Let $\struct {X, \norm \cdot}$ be a normed vector space.
Let $T : X \to X$ be a compact linear transformation.
We say that $T$ is a '''compact linear operator'''.
\end{definition}