r("x")，表示不超过"x"的整数中最大的一个。举例来说，formula_4，formula_5，formula_6，formula_7。对于非负的实数，其下取整函数的值一般叫做它的整数部分或取整部分。而formula_8叫做"x"的小数部分。每个分数都可以表示成其整数部分与一个真分数的和，而实数的整数部分和小数部分是与此概念相应的拓延。下取整函数的符号用方括号表示（formula_9），称作高斯符号。上取整函数即为取顶符号在数学中一般记作formula_10，在计算机科学中一般记作ceil(