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