Definition:Real-Valued Random Variable