Definition:Termination of Basis Expansion