disjoint union

Meaning

Noun

• A union of sets forced to be disjoint by attaching information referring to the original sets to their elements (i.e., by using indexing).
• A union of sets which are already pairwise disjoint.
• The disjoint union of the underlying sets of a given family of topological spaces, equipped with a topology.

Related

Similar words

• discriminated union
• coproduct, direct sum, free sum, free union, topological sum