함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
바닥 함수와 천장 함수
수학과 컴퓨터 과학에서, 바닥 함수()는 각 실수 이하의 최대 정수를 구하는 함수이다. 천장 함수(天障函數, )는 각 실수 이상의 최소 정수를 구하는 함수이다. 바닥 함수는 내림 함수 · 버림 함수 · 최대 정수 함수(最大整數函數, )라고도 하며, 천장 함수는 올림 함수 · 최소 정수 함수(最小整數函數, )라고도 한다.