Definition
Disjoint Union
The disjoint union of sets
and combines their elements while preserving which set each came from: The tags
distinguish the two sources. If , its copies and remain distinct. Thus for finite sets, even when and overlap. The notation is also common.