정의역

수학에서 어떤 함수의 정의역(定義域, )은 함수가 어떤 값을 대응시키는지가 정의된 원소들로 구성된 집합이다.

정의 
수학에서, 함수 는 집합 의 각 원소에 대하여 의 한 원소를 대응시키는 수학적 대상이다. 이 경우 를 의 정의역이라고 한다. 반면, 는 의 공역이다.

예 
예를 들어, 함수 =1.5에 대해 변수 ,가 각각 ={1, 2, 3}, ={1.5, 3, 4.5}의 원소라고 할 때, 집합 를 함수 =1.5의 정의역이라고 할 수 있다.

함수와 사상
집합론의 기본 개념