不交併集

喺數學嘅集合論入面，一組 set  嘅不交併集係講緊一個 set ，而每個  呢都係 map 入 嘅單射函數嚟嘅，噉樣呢啲單射函數就從而可以組合到  嘅一個集合分割。一組兩兩不交嘅不交集嘅不交併集就等於呢組集合嘅併集。喺範疇論入面，不交併集就係集合範疇嘅餘積。所以呢，不交併集嘅定義係 up to 對射嘅程度。

堆砌不交併集嘅其中一個標準方法就係要：
 定義  做一組順序對；
 定義 ；同埋
 用  嚟達到  。

舉例 
考慮  同埋  依兩個組合，噉樣呢我哋就可以用組合嘅來源嚟到index啲set入面嘅元素，噉樣就得到呢兩個相關嘅set：

而喺每個啤入面嘅第二個元數係對應原本個set嘅下標。跟住呢， 呢個不交併集可以噉計：

集合論嘅定義

範疇論嘅角度

餘積
不交併集
圖嘅不交併集
集合分割
標籤聯合
共用體

參攷 

數學
集合論