Floor function - Axioms of Choice

Processing math: 50%

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

Log In

Improvements of the human condition