\begin{definition}[Definition:Floor Function/Definition 3]
Let $x$ be a real number.
The '''floor function of $x$''' is the unique integer $\floor x$ such that:
:$\floor x \le x < \floor x + 1$
\end{definition}