Definition:Partial Sum