Definition:Real Series