非交和
集合論において集合の族の直和 () は、以下の緊密に関連した二種類の概念を指して用いられる。
前者は識別のための補助的な添字を付与することで各集合は互いに素となるから後者の意味での直和でもあり、前者のことも非交和と呼ぶ場合もある。これらをともに「直和」と呼ぶのは直積の双対であることを示すもので、圏論の言葉で言えば集合の圏における圏論的直和（これは同型を除いて一意に定まる）の普遍性を上記の二つはともに満たす。
本項においては主に前者について扱い、それを非交和と呼称する。後者については和集合#定義を参照のこと。