Factorization over a disjoint union

Subsets, parity, product systems, colour splitting and canonical migration for a union of two fragments, in the three parts below.