Definition:Primitive of Real Function