Ceiling function

Function

definiendum $ \lceil \ \rceil:\mathbb{R}\to\mathbb{Z}$
definiendum $ \lceil x \rceil:=\min\,\{n\in\mathbb{Z}\mid n\ge x\} $

Discussion

Parents

Subset of

ℤ valued function, Monotonically increasing function

Link to graph
Log In
Improvements of the human condition
limeGraphxioms