Floor function

Function

definiendum $ \lfloor\ \rfloor:\mathbb{R}\to\mathbb{Z}$
definiendum $ \lfloor x \rfloor:=\max\,\{n\in\mathbb{Z}\mid n\le x\} $

Discussion

Parents

Subset of

ℤ valued function, Monotonically decreasing function

Ceiling function