===== Floor function =====
==== Function ====
| @#FFBB00: definiendum | @#FFBB00: $ \lfloor\ \rfloor:\mathbb{R}\to\mathbb{Z}$ |
| @#FFBB00: definiendum | @#FFBB00: $ \lfloor x \rfloor:=\max\,\{n\in\mathbb{Z}\mid n\le x\} $ |

==== Discussion ====
==== Parents ====
=== Subset of ===
[[ℤ valued function]], [[Monotonically decreasing function]]
=== Related ===
[[Ceiling function]]