"x"的整数中最小的一个。举例来说，formula_12，formula_13，formula_14，formula_15。计算机中的上取整函数和下取整函数的命名来自于英文的"ceiling"（天花板）和"floor"（地板），相关的记法由肯尼斯·艾佛森于1962年引入。
性质.对于高斯符号，有如下性质。对于上取整函数：