What is the meaning of Disjoint_union?
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.
Source: wiktionary.orgSearch words containing