Definition:Non-Negative Real Number