素集合とは？ わかりやすく解説

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "素集合" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2024年9月)

2つの集合が交わりを持たない (disjoint) あるいは互いに素（たがいにそ、英語: mutually disjoint）であるとは、それらが共通の元を持たぬことをいう。一般に、与えられた集合族が互いに素（英語: pairwise disjoint）、あるいは素集合系（そしゅうごうけい、英語: disjoint sets）であるとは、その集合族に属するどの2つの集合を選んでも、その2つの共通部分が空集合であることをいう。例えば、{1, 2, 3} と {4, 5, 6} は互いに素である。

2つの集合 A と B が互いに素であるとは、それらの共通部分が空集合であること、すなわち、

${\displaystyle A\cap B=\varnothing }$