(ただしこれらは実際の計算には役立たない)。対し、次の式が成り立つ。{(m-1)(n-1)}{2}}.}ビーティの定理(英語版)は、任意の正の無理数が、床関数を用いて自然数の集合を2つに分ける方法を表している。切り捨て[編集]床関数は実数から整数への関数であるが、一般に実数の切り捨てとは任意の桁においても行われるものであり、小数第1位での切り捨てとは限らない。}のように上下の欠けた角括弧で表される。