Definition:Ceiling Function

Definition
The ceiling function is denoted and defined as:


 * $\forall x \in \R: \left \lceil {x} \right \rceil = \inf \left({\left\{{m \in \Z: m \ge x}\right\}}\right)$

That is, $\left \lceil {x} \right \rceil$ is the smallest integer greater than or equal to $x$.

Also see

 * Definition:Floor Function


 * Properties of Ceiling Function


 * Integers Bounded Below has Smallest Element, justifying the validity of the definition.