Definition:Periodic Real Function