Definition:Floor Function/Definition 3

Definition
For all $x \in \R$, the floor function is denoted and defined as:


 * $z = \left \lfloor {x} \right \rfloor \iff z \in \Z \land x \in \left\{{y \in \R: z \le y < z+1}\right\}$

Also see

 * Equivalence of Definitions of Floor Function