Category:Definitions/Floor Function

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Floor Function.
Related results can be found in Category:Floor Function.

The floor function of $x$ is defined as the supremum of the set of integers no greater than $x$:

$\floor x := \sup \set {m \in \Z: m \le x}$

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