disjoint union）係講緊一個 set ，而每個  呢都係 map 入 嘅單射函數嚟嘅，噉樣呢啲單射函數就從而可以組合到  嘅一個集合分割（即係要  入面嘅每個元素都要啱啱好淨係要屬於其中一個像）。