3.1 함수란 무엇인가
이 절에서는 함수에 대해 자세히 살펴본다. 무엇보다도 함수(function)는 수학적인 개념이다. 함수는 소스 집합(정의역, domain)과 타깃 집합(공역, codomain) 사이에서 어떤 조건을 만족시키는 대응 관계2다. 정의역과 공역이 서로 다를 필요는 없다. 예를 들어 함수의 정의역과 공역이 같은 집합일 수 있다.
2 역주 이산 수학 등을 배운 사람들은 관계(relation)나 대응(correspondence)이라는 용어를 알고 있겠지만, 이 장에서 사용하는 대응 관계는 수학적 용어가 아니라 어떤 식으로든 두 대상이 짝지어진다는 뜻이다.