1 ドメインの基本概念
1.1 定義域としてのドメイン
ドメインは、関数や写像、あるいは論理式などに対して「適用される入力（または対象）の範囲」を指す。数学ではしばしば「定義域」とほぼ同義に用いられるが、厳密には文脈によって“どの段階での範囲”を意味するかが変わる。一般に、ドメインの要素は計算や評価の際に引数として利用でき、そこから得られる結果が以後の構成要素（値域や真偽判定など）に関係づけられる。
1.2 関数におけるドメインの役割
関数は「入力から出力への対応」を与えるが、その対応が成立するのは入力の範囲が定められているときに限られる。ドメインはこの前提条件を表し、どの要素が引数として扱えるかを規定する。たとえば、割り算の式を関数とみなす場合、分母がゼロになる入力を除外しなければならない。このようにドメインの設定は、演算の意味を保つための基礎的な制約として働く。さらに、連続性や可微分性といった性質を論じる際にも、どの範囲で定義されているかが前提となる。
1.3 記法と用語
ドメインを表す用語には「定義域」「対象の集合」「領域」などがあり、記法も文献によって異なる。関数 \(f\) に対して定義域を \(D\) と書き、 \(f: D \to C\) のように記す流儀が一般的である。このとき \(D\) がドメイン、\(C\) が出力側の集合（後述するコドメイン）に対応する。論理や形式体系では「領域（domain）」がモデル上の対象の集合として扱われることもあり、用語は同じでも役割が別物になる場合があるため、文脈確認が重要になる。
2 集合としてのドメイン
2.1 ドメインの例
ドメインは集合として定義されることが多い。ここで重要なのは「どの要素が入力として許されるか」を集合の要素で表現する点である。そのためドメインの選び方は、数学的妥当性だけでなく、解釈や応用上の意味にも直結する。
2.1.1 数の集合（整数、実数など）
数の分野では、ドメインを特定の数の集合として与えるのが典型である。たとえば多項式 \(p(x)\) は一般に実数全体をドメインにして定義されることが多い。一方で、分数関数のように分母に制限がある場合は、実数全体ではなく「分母がゼロにならない実数」の集合がドメインになる。整数をドメインとする数論的な写像では、出力の意味や性質も整数の範囲に合わせて定式化される。
2.1.2 文字や有限集合
記号処理や離散数学では、ドメインを文字の集合や有限集合として設定する例がある。文字列を扱うとき、各位置の入力は文字集合（たとえばアルファベットの有限集合）に属する。同様に有限状態モデルで用いる遷移関数は、状態集合をドメインとして定義される場合がある。有限であることは取り扱いを簡潔にし、計算機上での実装や検証にも結びつく。
2.2 部分集合としてのドメイン
ドメインはしばしば「より大きな集合の部分集合」として導入される。これは、理論上の対象全体ではなく、ある条件を満たす要素に限定して定義したいという要請から生じる。結果として、同じ式や規則であっても、ドメインの変更により意味が変わる。
2.2.1 制限（制約）によるドメインの変更
制限によるドメイン変更は、実用面でも理論面でも頻出する。たとえば同じ関数規則があっても、実行可能な入力だけを選ぶことで定義域が狭まる。数学的には、集合 \(A\) 上で定義された関数を、条件 \(条件(x)\) を満たす \(x\) に限って再定義し、新しい定義域 \( \{x\in A \mid 条件(x)\}\) を採用する。条件としては「存在（例えば平方根が実数として定義される）」「安全（例えば分母がゼロでない）」「目的（例えば確率分布が正しく正規化される）」などが含まれる。
3 関数・写像との対応
3.1 定義域と値域（コドメイン）の区別
定義域（ドメイン）は入力側の範囲であり、値域は実際に到達する出力の集合として理解される。さらにコドメインは「出力が属するように指定された集合」であって、実際にその集合の全要素が出力されるとは限らない。したがって、写像 \(f: D \to C\) では、\(D\) がドメイン、\(C\) がコドメインであり、値域は \(f(D)\) によって定まる。区別を保つことで、像（到達可能性）と所属（指定枠）を混同せずに済む。
3.2 部分関数と未定義領域
部分関数は、入力の一部に対して値が定まらないタイプの写像である。未定義領域とは、ドメインとして指定された範囲のうち、その規則が適用されない（または定義されない）部分を指す場合がある。形式的には、部分関数を「定義される入力集合」と「そこに対して与えられる対応」によって表すことができる。例えば、対数関数は真数が正のとき定義され、ゼロや負の値では未定義として扱うのが典型である。部分関数として扱うことで、式の意味を曖昧にせずに整理できる。
3.3 写像の合成におけるドメイン
写像の合成では、各関数がどの入力に対して定義されるかに加えて、前段の出力が後段のドメインに入るかが重要になる。合成 \(g\circ f\) を考えるとき、最初の入力 \(x\) は \(f\) の定義域に属していなければならず、そのうえで \(f(x)\) が \(g\) の定義域に属する必要がある。結果として、合成の定義域はしばしば「適格な入力の集合」として限定される。これは、単に形式的に写像を並べただけでは、意味の整合性が保証されないことを示している。
4 理論的観点でのドメイン
4.1 論理における対象領域
論理学では、ドメインはモデルの中で解釈される「対象の集合」を指すことがある。述語論理では、変数が取り得る値の範囲がドメインによって決まり、文の真偽はそのドメイン上での解釈に依存する。つまり、同じ構文でも、対象領域が異なれば評価結果が変わり得る。
4.1.1 量化と領域
量化（全称量化・存在量化）は変数の取り得る範囲に結びついているため、領域（ドメイン）の設定が本質的になる。全称量化「すべての対象について」は、ドメインの全要素に対して成り立つことを要求する。存在量化「ある対象が存在する」は、ドメインの中に条件を満たす要素が存在することを要求する。したがって、ドメインを狭めると全称命題の要求が弱まり得る一方、存在命題が成り立つ見通しが変わるなど、定量的な影響が生じる。
4.2 モデルとドメインの関係
モデルとは、記号（定数、関数記号、述語記号など）に対する具体的な解釈を与え、論理式の意味を確定させる枠組みである。その中でドメインは対象の母集合に相当し、関数記号はそのドメイン上の操作として、述語記号はそのドメイン上の関係として解釈される。よってドメインは、モデルが許す構造の土台であり、同一の公理系でも異なるドメインを採用したモデルを作ることで、異なる性質を観察できる。
4.3 離散数学での典型的な扱い
離散数学では、ドメインは有限集合や可算集合として扱われることが多い。計数や組合せの議論では、対象の集合そのものがドメインとして明確に設定され、写像はその集合上での規則として定式化される。グラフ理論では頂点集合がドメイン、グラフ上の辺は関係として表される。こうした場面では、ドメインの要素数や構造が直接的に結果へ影響するため、定義域の選択とその有限性は特に重要になる。