直和（ちょくわ、、）とは、複数の集合、また（特に代数的構造の入った）集合をぴったり貼り合わせてできる新たな集合のことをいう。直和を表すのに用いられる記号にはなどがある。後者の記号は直積のそれによく似ているが、後述するように直和と直積には深い関連があり、特にある種の代数的構造を持つ集合の直和と直積は有限個のものの間では同じになる。集合の直和（、非交和）とは、互いに交わらない、つまり共通部分が空集合であるような二つの集合の和集合を表す。二つ以上の集合の直和も同様に定義できる。たとえば、ある位相空間の部分集合の、内部と境界と外部の和は直和になっている。形式的に、（必ずしも共通部分が空ではない）二つの集合 "A

出典:wikipedia