此条目需要补充更多来源。 (2014年5月31日)
请协助补充多方面可靠来源以改善这篇条目，无法查证的内容可能会因为异议提出而移除。
在集合论，一组集合的不交并指的是一种修改过的并集运算，除了普通的并集，还标记了元素的来源。不交并还有另一个意义，指的是两两不交的集合的并集。
集合族能拥有不交并的充要条件是它们之间两两交集为空集。对于一般的集合族，由于其中的某些集合之间可能有交集不是空集的情况，因此无法拥有不交并集。然而数学研究中，有时候需要统一讨论这些集合中所有的元素，而又不希望在使用并集运算的时候将其中重复的元素减为一个。于是有的上下文中会修改通常并集的定义，以达到将任意集合族进行不交并运算的效果。具体做法是将每个集合中的元素都附加一个与集合本身相对应的“标签”，这样，若干个交集不为空集的集合中本来相同的元素因为各自附加了不同的“标签”，就成为了不同的元素[2]:26。使用数学的语言描述，即是：
是一个集合族，则首先定义：
，不再是同一个元素了。因此，新的集合族中，任两个集合的交集必然是空集。则其中任两个元素都不相同，于是任两个集合交集为空集。所以不交并为：
在不至于混淆的情况下，也被直接记作：
在范畴论的语言中无交并是集合范畴的上积，因此它满足相应的泛性质。这也意味着不交并是笛卡尔积的对偶。[3]:60