包含関係とは？
ほうがんかんけい
包含関係とは、ある集合が別の集合の要素をすべて含む関係のことで、数学・論理学・プログラミングなど幅広い分野で使われる概念です。
包含関係（ほうがんかんけい）とは、ある集合Aのすべての要素が、別の集合Bの要素でもある場合に、「AはBに含まれる」または「BはAを包含する」と表現する関係のことです。数学では「A⊆B（AはBの部分集合）」という記号で表します。
包含関係には主に2種類あります。
- 部分集合（⊆）：AのすべてがBに含まれ、A＝Bの場合も許す（AとBが同じ集合でも成立）
- 真部分集合（⊊）：AのすべてがBに含まれ、かつA≠B（AはBより真に小さい場合のみ成立）
具体的な例として、「偶数の集合」は「整数の集合」に包含されます。偶数はすべて整数ですが、整数の中には偶数でないもの（奇数）も含まれるためです。
包含関係は論理学では「ならば（含意）」と密接に関連しており、「すべてのAはBである」という命題はAがBに包含されていることと同値です。プログラミングにおいても、オブジェクト指向の「継承」や「インターフェース」、あるいはデータベースの外部キー制約など、包含関係の概念が至る所に応用されています。
集合論・数学・理科・情報科学において基礎的かつ重要な概念であり、物事の階層的な分類や論理的な推論を整理するための強力な枠組みです。
使い方・例文
「哺乳類の集合はセキツイ動物の集合に包含される」「クラスBが持つメソッドをクラスAが使えるのは包含関係があるから」のように使われます。
この用語をシェア
最終更新: