「素集合」の版間の差分

2つの集合が'''交わりを持たない''' {{lang|en|(disjoint)}} あるいは'''互いに素'''（たがいにそ、{{lang-en|mutually disjoint}}）であるとは、それらが共通の[[元 (数学)|元]]を持たぬことをいう。一般に、与えられた集合[[族 (数学)|族]]が'''互いに素'''（{{lang-en|pairwise disjoint}}）、あるいは'''素集合'''系（そしゅうごうけい、{{lang-en|''disjoint sets''}}）であるとは、その集合族に含まれるどの2つの集合をえらんでも、それらの選び方に依らずそれらが常に共通部分を持たないことをいう。例えば、{1, 2, 3} と {4, 5, 6} は互いに素である。