Finite-rank operator

In functional analysis, a **finite-rank operator** is a specific type of linear operator that maps a vector space to itself and has a finite-dimensional image.