1 概念
1.1 定義
包含関係は、ある対象が別の対象の内部に収まっている、または一方の集合や領域が他方を包み込む形で成立する関係を指す。数学的には「対象を含む側」と「含まれる側」の間に、境界や成員の対応が規定され、片方が他方の範囲を覆う（あるいは中に収まる）ことを表す。
この概念は、要素と集合、部分と全体、領域と領域、より抽象的には階層的な構造など、複数の場面で共通の型として現れる。表現の厳密さは領域ごとに異なり、日常語の曖昧さから、形式体系の厳密な内包条件まで幅がある。
1.2 関連する基本語
1.2.1 含む
「含む」は、ある集合や範囲の中に、特定の要素が入っているという向きをもつ語である。概念としては、対象Xが対象Yを含むとは、YがXの成員（または範囲内）にあることを意味する方向づけが中心になる。
日常の用法では「含む」が比喩的に使われることもあるが、形式化の際には「成員関係」や「包含（内包）条件」として具体化される。
1.2.2 含まれる
「含まれる」は、上記の向きを逆にした表現で、ある要素や部分が、別の集合や範囲の中に位置づけられている状態を述べる。意味の核は「含む」の受け身的な対応関係にあり、論理式や集合論の記法では同じ関係を表しても、読み方や主語の置き方が異なる。
形式体系では、含まれる側を固定して条件を述べるなど、推論の進め方に合わせて表現が調整されることがある。
1.3 包含関係の特徴
包含関係は、対象間に「境界づけ」や「範囲の比較」を与える点で特徴づけられる。たとえば集合論では、要素がある集合に属するかどうか、また一集合が別集合の部分として成立するかどうかを整理する枠組みとして働く。
また、包含は一般に反射的・推移的といった性質（関係の整合性）を持ちやすい。さらに、包含の強さには段階があり、「完全に一致するのか」「狭い方が他方に入り切っているのか」を区別する必要が生じる。これにより、同一視と真に狭い包含の概念が分かれる。
2 数学における包含関係
2.1 集合論での包含
2.1.1 部分集合
集合論での包含は、通常「部分集合」によって形式化される。集合Aが集合Bの部分集合であるとは、Aのすべての要素がBにも属することを言う。記号としてはA ⊆ Bのように表される。
この定義は成員関係の集約に基づくため、要素の条件を一つずつ確認することで検証できる。直観的には、「AがBの内部に収まる」状況を、集合の成員集合として捉えている。
2.1.2 真部分集合
真部分集合は、部分集合でありつつ両者が同一でない場合を表す。集合Aが集合Bの真部分集合であるとは、A ⊆ BかつAとBが一致しないことを意味する。記号ではA ⊊ BやA ⊂ Bのように表されることがある。
真であることの判定は、差集合が空でないことや、Bに属してAに属さない要素が存在することによって述べられる。これにより「含む」関係の強弱を明確に扱える。
2.2 順序関係としての見方
集合の包含関係は、集合全体を要素とする集合に対して順序構造を与えることが多い。すなわち、A ⊆ BならばAはBより小さい、というように「大小」を部分の収まり具合で定義できる。
この見方では包含が順序（部分のランキング）として機能し、上界や下界、鎖（包含の連鎖）といった概念につながる。結果として、包含は単なる言い換えではなく、構造を計算するための枠組みに発展する。
2.3 集合演算との関係
2.3.1 和集合
和集合（和）の性質は包含関係と自然に結びつく。一般に、A ∪ BはAおよびBをどちらも含むため、A ⊆ A ∪ BかつB ⊆ A ∪ Bが成り立つ。
また、A ∪ BはAやBの共通の上側候補を作り、包含に基づく最小性（その上界として最も小さいもの）という性格で理解できる。包含の観点から見ると、和集合は「どちらかに属するもの全体」として上方へ拡張する操作になる。
2.3.2 共通部分
共通部分（積）の場合には、A ∩ BはAとBの両方を満たす要素だけからなる。したがってA ∩ B ⊆ AかつA ∩ B ⊆ Bが成り立つ。
さらに、共通部分はAとBの両方の下側候補を集めたときの最大要素として特徴づけられることがある。包含の観点では、共通部分は「両者が重なる範囲」を抜き出して下側へ絞り込む操作になる。
3 論理学・形式体系における包含関係
3.1 命題間の包含
論理学では、包含という語は命題の強さや含意関係を捉える比喩的・形式的な見方として現れる。たとえば、ある命題Pが別の命題Qより強い場合、Pの真偽が決まることでQの真偽が確定することがある。このとき「PがQを包含する」と言い換えられることがある。
集合の包含が要素の所属で表されるのに対し、論理では真理集合（満たすすべての解の集まり）を介して同型に対応づけられることがある。こうして、命題の関係を包含と同様の構造として扱える。
3.2 必要条件と十分条件
必要条件・十分条件の関係も、包含関係の読み替えで理解されることがある。命題PがQの必要条件であるとは、Qが成り立てばPが必ず成り立つことを意味する。形式的にはQ → Pに相当する形で表現される。
同様に、PがQの十分条件であるとは、Pが成り立てばQが必ず成り立つことを指す。形式的にはP → Qという向きで捉えられる。これらは、真理集合の包含（Pを満たす場合の集合がQの集合にどう収まるか）として表れるため、包含の概念と整合的になる。
3.3 記号表現
3.3.1 使われる記号
形式体系では、包含に対応する記号は文脈に応じて複数存在する。集合論では ⊆ や ⊂、命題の関係では含意記号 → や、時に論理式の包含を表す記法として別の記号が用いられる。
また、型理論やプログラミング文脈では「型が他の型のサブタイプである」ことを示す記号が用いられ、そこでも包含に近い意味を持たせる。記号の選択は、対象が集合なのか、論理式の集合なのか、あるいは型の階層なのかによって決まる。
3.3.2 表現上の注意
記号は同じ見た目でも前提が異なることがあるため注意が必要である。たとえば ⊂ が「真部分集合」を意味する流儀と、「部分集合一般」を意味する流儀が混在することがある。流儀の違いは注記や定義で明示されるのが通常である。
また、論理の包含を集合の包含として扱う場合、どのような対象（満たす解の集合、モデルの集合、導出可能性など）を包含で比較しているかを明確にしないと誤解が生じる。形式化の際には、対象の定義域と比較の対象を統一することが重要になる。
4 応用分野
4.1 情報学での利用
4.1.1 データ構造
情報学では包含関係が設計上の整理に役立つ。たとえば、あるデータ構造が別の構造を「内包」する形で表現されることがある。具体的には、コンテナ型が要素集合を保持し、その要素の性質がコンテナの振る舞いに影響するような場面で、要素→集合、集合→集合、という包含の見取り図が有効になる。
さらに、集合演算に類する操作（結合や共通部分のような構成）を実装する際にも、包含関係は正しさの条件として現れる。たとえばフィルタリングは対象を絞り込み、包含の方向に対応して結果集合が小さくなる。
4.1.2 型理論
型理論では包含に近い関係が型の整合性として現れる。ある型Aが型Bより「より具体的」で、Aの値がすべてBとして扱えるとき、型の階層（サブタイプ関係）として理解されることが多い。
この枠組みでは、プログラムの安全性やインタフェースの保証が重要になる。型の包含に対応する関係は、代入可能性や関数適用の可否を支えるため、仕様と検査の橋渡しとして働く。
4.2 言語学での利用
言語学では、語彙や文の意味が階層的に組織化される様子を、包含に類似した関係で説明することがある。たとえば上位概念と下位概念の関係では、「下位のものは上位の範囲に入る」という見方が自然に当てはまる。
ただし、自然言語は境界が曖昧なことも多く、形式的な包含関係ほど機械的に当てはまらない場合がある。そのため、概念の包含として語る際には、語用論や文脈が持つ影響も併せて考慮される。
4.3 空間認識での利用
空間認識の分野では、領域の包含が幾何や推定と結びつく。たとえば、ある図形が別の図形の中にあるかどうか、もしくはある測定領域が対象を完全に覆っているかといった問題がある。
包含は判定基準として使われ、境界条件（接しているだけか、完全に内部に収まるか）によって分類が変わる。さらに、誤差やノイズを含む実データでは「ほぼ包含」や「包含の確率」などの近似が導入されることがある。
4.4 日常表現での用法
日常語では「含む」「含まれる」が幅広く用いられる。たとえば「バッグの中には財布が入っている」「このレシピには卵が含まれる」のように、物理的な収納や成分の存在を述べる用法がある。
また、「論点に含まれる」「条件に含まれる」のように、抽象的な範囲について述べる場合にも、包含の直観が働く。日常では厳密な境界や完全性が省略されがちだが、理解の枠組みとしては「一方が他方の範囲内にある」という構図が共有されている。