Locally finite operator

In mathematics, a linear operator formula_1 is called locally finite if the space formula_2 is the union of a family of finite-dimensional formula_3-invariant subspaces.
In other words, there exists a family formula_4 of linear subspaces of formula_2, such that we have the following: