素集合

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