Definition:Continuously Differentiable Real-Valued Function on Open Set