In
set theory, the
disjoint union (or
discriminated union) of a family of sets is a modified
union operation that indexes the elements according to which set they originated in. Or slightly different from this, the disjoint union of a family of subsets is the usual union of the subsets which are
pairwise disjoint –
disjoint sets means they have no element in common.