Definition:Real Variable