수학에서 어떤 함수의 정의역(定義域, 영어: domain)은 함수가 어떤 값을 대응시키는지가 정의된 원소들로 구성된 집합이다.
수학에서, 함수 f : X → Y {\displaystyle f\colon X\to Y} 는 집합 X {\displaystyle X} 의 각 원소에 대하여 Y {\displaystyle Y} 의 한 원소를 대응시키는 수학적 대상이다. 이 경우 X {\displaystyle X} 를 f {\displaystyle f} 의 정의역이라고 한다. 반면, Y {\displaystyle Y} 는 f {\displaystyle f} 의 공역이다.
예를 들어, 함수 y {\displaystyle y} =1.5 x {\displaystyle x} 에 대해 변수 x {\displaystyle x} , y {\displaystyle y} 가 각각 X {\displaystyle X} ={1, 2, 3}, Y {\displaystyle Y} ={1.5, 3, 4.5}의 원소라고 할 때, 집합 X {\displaystyle X} 를 함수 y {\displaystyle y} =1.5 x {\displaystyle x} 의 정의역이라고 할 수 있다.