Disjoint union/Definition

A set containing a copy of each of a family of two or more sets, so that the copies do not overlap.