아래쪽 정수 찾기
⌊2.7⌋=2이고 ⌊2⌋=2다. −1.2 이하인 정수 중 가장 큰 것은 −2이므로 ⌊−1.2⌋=−2다. 소수점 아래를 지워 −1을 얻는 연산과 구별한다.
구간별로 일정한 값
정수 n에 대해 n≤x<n+1이면 ⌊x⌋=n이다. 그래프는 각 구간에서 수평이며 정수 경계에서 값이 바뀐다. 오른쪽 끝점이 다음 구간에 들어간다는 조건을 확인한다.
천장 함수와 관계
바닥 함수와 천장 함수는 ⌊x⌋=−⌈−x⌉의 관계를 갖는다. x가 정수이면 둘은 같고 정수가 아니면 천장 함수 값이 바닥 함수 값보다 1 크다.
실수를 나누어 보기
x−⌊x⌋는 항상 0 이상 1 미만이다. x=−1.2이면 −1.2−(−2)=0.8이다. 음수에서도 이 정의로 얻는 소수 부분은 음수가 아니다.