\begin{definition}[Definition:Periodic Function/Real]
Let $f: \R \to \R$ be a real function.
Then $f$ is '''periodic''' {{iff}}:
:$\exists L \in \R_{\ne 0}: \forall x \in \R: \map f x = \map f {x + L}$
\end{definition}