Category:Disjoint Unions
Jump to navigation
Jump to search
This category contains results about Disjoint Union in the context of Set Theory.
Definitions specific to this category can be found in Definitions/Disjoint Unions.
Let $\family {S_i}_{i \mathop \in I}$ be an $I$-indexed family of sets.
The disjoint union of $\family {S_i}_{i \mathop \in I}$ is defined as the set:
- $\ds \bigsqcup_{i \mathop \in I} S_i = \bigcup_{i \mathop \in I} \set {\tuple {x, i}: x \in S_i}$
where $\bigcup$ denotes union.
Each of the sets $S_i$ is canonically embedded in the disjoint union as the set:
- ${S_i}^* = \set {\tuple {x, i}: x \in S_i}$
Pages in category "Disjoint Unions"
This category contains only the following page.