Category:Definitions/Continuous Real Functions