# Category:Definitions/Ceiling Function

This category contains definitions related to Ceiling Function.

Related results can be found in Category:Ceiling Function.

The **ceiling function of $x$** is defined as the infimum of the set of integers no smaller than $x$:

- $\ceiling x := \inf \set {m \in \Z: m \ge x}$

where $\le$ is the usual ordering on the real numbers.

## Pages in category "Definitions/Ceiling Function"

The following 6 pages are in this category, out of 6 total.