非交和

集合論において集合の族の直和 (ちょくわ、英: direct sum) あるいは非交和（ひこうわ、英: disjoint union、discriminated union）は、以下の緊密に関連した二種類の概念を指して用いられる。識別された和：通常の合併の操作を少し改変して、合併に属する元がもともとどの集合に入っていたか識別することができるようにしたもの。