数学における写像の定義域(ていぎいき、英: domain of definition)あるいは始域(しいき、英: domain; 域, 領域)とは、写像の値の定義される引数(「入力」)の取り得る値全体からなる集合である。つまり、写像はその定義域の各元に対して(「出力」としての)値を与える。 例えば、実数の範囲での議論において、余弦函数の定義域はふつう実数全体の成す集合(実数直線)であるし、正の平方根函数の定義域は 0 以上の実数全体の成す集合であるものとする。定義域が実数から成る集合(実数全体の成す集合の部分集合)であるような実数値函数は、その定義域が x-軸上にあるものとして xy-直交座標系に表すことができる。