Real numbers/Floor/Definition

Floor

For a real number ${}x$, the floor ${}\left\lfloor x\right\rfloor$ is defined as

$\left\lfloor x\right\rfloor =n,{\text{ if }}x\in [n,n+1[{\text{ and }}n\in \mathbb {Z} .$