The floor function, ⌊⌋:R→Z, assigns any real number x to the largest integer that is less than or equal to $x$. Examples: ⌊21⌋=0 ⌊−23⌋=−2 ⌊2.3⌋=3