함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
역함수
함수 formula_1가 주어졌을 때, 함수 formula_2가 다음 조건을 만족시키면, formula_3의 왼쪽 역함수(-逆函數, )라고 한다.
마찬가지로, 함수 formula_6가 다음 조건을 만족시키면, formula_3의 오른쪽 역함수(-逆函數, )라고 한다.
함수 formula_1의 역함수 formula_11는 formula_3의 왼쪽 역함수이자 오른쪽 역함수이다. 즉, 다음 조건을 만족시키는 함수이다.
역함수를 갖는 함수를 가역 함수(可逆函數, ) 또는 일대일 대응 또는 전단사 함수라고 한다. 전단사 함수가 아닌 함수의 경우에도, 그 함수의 정의역이나 공역을 줄여 전단사 함수가 되게 한 다음 역함수를 정의할 수 있다. 역삼각 함수는 바로 이러한 방법으로 정의된다.