Definition:Finite Summation