Definition:Convergent Real Series