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.