Definition:Periodic Real Function/Period

Definition
Let $f: \R \to \R$ be a periodic real function.

The period of $f$ is the smallest value $L \in \R_{>0}$ such that:
 * $\forall x \in \R: \map f x = \map f {x + L}$