差集合（さしゅうごう、）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 を固定して、 からその部分集合 の要素を取り去って得られる集合を の補集合という。集合 "B" から集合 "A" に属する元を間引いて得られる集合をまたは "B" − "A" と表現し、"B" から "A" を引いた差、差集合あるいは "B" における "A" の（相対）補集合と呼ぶ。記号を用いて書けば、すなわちが差集合の定義である。これは formula_4 とは限らない場合にも定義される。後述の（絶対）補集合の言葉で書けば、formula_5 とは、"B" における "A" ∩ "B" の補集合である。なお、一般に集合の差は交換法則を満たさない：これらが等しくなるのは、"A" = "B" のとき、またそのときに限る。集合 "A

出典:wikipedia