Definition:Finite Expansion