Definition:Real Sequence