Definition:Real-Valued