在数学中,"不交并"(Disjoint Union)通常指的是 两个不相交的集合之间的并集。如果集合A和集合B不相交,即它们没有共同的元素,那么它们的不交并就是A和B的并集,记作A∪B。
此外,不交并在集合论中还有另一个含义,即一个集合族中各元素有序对(x, i)的集合,其中i表示x的来源集合。
在范畴论中,不交并是集合范畴的上积,满足相应的泛性质。
总结:
基本定义:
不交并是指两个不相交集合的并集。
集合族中的含义:
不交并还可以指集合族中各元素有序对的集合。
范畴论中的含义:
在范畴论中,不交并是集合范畴的上积。