>変数のとる範囲のこと，特に関数 y＝f(x) が与えられた場合，その独立変数 x のとりうる値の範囲を x の変域という。独立変数 x の変域のことを，この関数の定義域ともいう。

>数学における写像の定義域あるいは始域とは、写像の値の定義される引数の取り得る値全体からなる集合である。