Definition:Bounded Real-Valued Function