差集合
差集合(さしゅうごう、英: set difference)とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 U を固定して、U からその部分集合 A の要素を取り去って得られる集合を A の補集合という。
集合 A, B が加法 + を持つ代数系(特に加法群)の部分集合であるとき、B − A は集合 {b − a | a ∈ A, b ∈ B} と紛らわしいのでこの記法を使用するには注意が必要である。
またLaTeXで入力するとき、差集合としては B \backslash A ( B ∖ A {\displaystyle B\backslash A} ) ではなく B \setminus A ( B ∖ A {\displaystyle B\setminus A} ) を用いるか、B \smallsetminus A ( B ∖ A {\displaystyle B\smallsetminus A} ) を用いる。