Definition:Real Functional