함수
수학에서, 함수(函數, ) 또는 사상(寫像, )은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이다.
함수
두 함수 formula_16와 formula_173가 다음 조건을 만족시키면, 서로 일치한다고 한다.
두 함수 formula_16와 formula_173가 서로 일치한다고 하자. 그렇다면, 다음과 같이 정의된 함수 formula_189를 formula_1와 formula_64의 합집합이라고 한다.
마찬가지로, 쌍마다 일치 함수족 formula_194의 합집합을 다음과 같이 정의할 수 있다.
물론, 함수의 합집합은 서로 일치하지 않는 경우에도 이항 관계로서 정의할 수 있으며, 이 이항 관계가 함수일 필요충분조건은 일치성이다.