Definition:Ceiling Function/Definition 1

Definition
Let $x$ be a real number.

The ceiling function of $x$ is the infimum:
 * $\left \lceil {x} \right \rceil = \inf \left({\left\{{m \in \Z: m \ge x}\right\}}\right)$

Also see
Theorems used in this definition:
 * Continuum Property
 * Infimum is Unique
 * Equivalence of Definitions of Ceiling Function