Definition:Real Independent Variable