Definition:Set Union
Contents
Definition
Let $S$ and $T$ be sets.
The (set) union of $S$ and $T$ is the set $S \cup T$, which consists of all the elements which are contained in either (or both) of $S$ and $T$:
- $x \in S \cup T \iff x \in S \lor x \in T$
or, slightly more formally:
- $A = S \cup T \iff \forall z: \left({z \in A \iff z \in S \lor z \in T}\right)$
We can write:
- $S \cup T := \left\{{x: x \in S \lor x \in T}\right\}$
For example, let $S = \left \{{1, 2, 3}\right\}$ and $T = \left \{{2, 3, 4}\right\}$. Then $S \cup T = \left \{{1, 2, 3, 4}\right\}$.
It can be seen that, in this form, $\cup$ is a binary operation which acts on sets.
Set of Sets
Let $\mathbb S$ be a set of sets.
The union of $\mathbb S$ is:
- $\displaystyle \bigcup \mathbb S := \left\{{x: \exists X \in \mathbb S: x \in X}\right\}$
That is, the set of all elements of all elements of $\mathbb S$.
Thus the general union of two sets can be defined as:
- $\displaystyle \bigcup \left\{{S, T}\right\} = S \cup T$
Family of Sets
Let $I$ be an indexing set.
Let $\left \langle {S_i} \right \rangle_{i \mathop \in I}$ be a family of sets indexed by $I$.
Then the union of $\left \langle {S_i} \right \rangle$ is defined as:
- $\displaystyle \bigcup_{i \mathop \in I} S_i := \left\{{x: \exists i \in I: x \in S_i}\right\}$
Countable Union
Let $\mathbb S$ be a set of sets.
Let $\left\langle{S_n}\right\rangle_{n \mathop \in \N}$ be a sequence in $\mathbb S$.
Let $S$ be the union of $\left\langle{S_n}\right\rangle_{n \mathop \in \N}$:
- $\displaystyle S = \bigcup_{n \mathop \in \N} S_n$
Then $S$ is a countable union of sets in $\mathbb S$.
Finite Union
Let $S = S_1 \cup S_2 \cup \ldots \cup S_n$.
Then:
- $\displaystyle S = \bigcup_{i \mathop \in \N^*_n} S_i = \left\{{x: \exists i \in \N^*_n: x \in S_i}\right\}$
where $\N^*_n = \left\{{1, 2, 3, \ldots, n}\right\}$.
If it is clear from the context that $i \in \N^*_n$, we can also write $\displaystyle \bigcup_{\N^*_n} S_i$.
General Definition
Let $S$ be a set.
The union of $S$ is:
- $\displaystyle \bigcup S := \left\{{x: \exists X \in S: x \in X}\right\}$
That is, the set of all elements of all elements of $\mathbb S$ which are themselves sets.
Illustration by Venn Diagram
The union $S \cup T$ of the two sets $S$ and $T$ is illustrated in the following Venn diagram by the red area:
Axiomatic Set Theory
The concept of set union is axiomatised in the Axiom of Union in Zermelo-Fraenkel set theory:
- $\forall A: \exists x: \forall y: \left({y \in x \iff \exists z: \left({z \in A \land y \in z}\right)}\right)$
Also known as
The union of sets is also known as the logical sum, or just sum, but these terms are usually considered old-fashioned nowadays.
The term join can also be seen, but this is usually reserved for specific contexts.
Some authors use the notation $S + T$ for $S \cup T$, but this is non-standard and can be confusing, so its use is not recommended.
Also, $S + T$ is sometimes used for disjoint union.
Also see
- Definition:Set Intersection, a related operation.
- Union of Singleton, where it is shown that $\displaystyle \mathbb S = \left\{{S}\right\} \implies \bigcup \mathbb S = S$
- Union of Empty Set, where it is shown that $\displaystyle \mathbb S = \varnothing \implies \bigcup \mathbb S = \varnothing$
- Results about set unions can be found here.
Internationalization
Union is translated:
In French: | somme | (literally: sum) | ||
In French: | union | |||
In French: | réunion | |||
In Dutch: | unie |
Historical Note
The concept of set union, or logical addition, was stated by Leibniz in his initial conception of symbolic logic.
The symbol $\cup$, informally known as cup, was first used by Hermann Günter Grassmann in Die Ausdehnungslehre from 1844. However, he was using it as a general operation symbol, not specialized for union.
It was Giuseppe Peano who took this symbol and used it for union, in his 1888 work Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann.
Peano also created the large symbol $\bigcup$ for general union of more than two sets. This appeared in his Formulario Mathematico (5th edtion, 1908).^{[1]}
References
- ↑ See Earliest Uses of Symbols of Set Theory and Logic in Jeff Miller's website Earliest Uses of Various Mathematical Symbols.
Sources
- 1955: John L. Kelley: General Topology ... (previous) ... (next): Chapter $0$: Subsets and Complements; Union and Intersection
- 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 4$: Unions and Intersections
- 1962: Bert Mendelson: Introduction to Topology ... (previous) ... (next): $\S 1.3$: Set Operations: Union, Intersection and Complement
- 1964: W.E. Deskins: Abstract Algebra ... (previous) ... (next): $\S 1.1$: Definition $1.2$
- 1964: Steven A. Gaal: Point Set Topology ... (previous) ... (next): Introduction to Set Theory: $1$. Elementary Operations on Sets
- 1964: William K. Smith: Limits and Continuity ... (previous) ... (next): $\S 2.1$: Sets
- 1964: Murray R. Spiegel: Theory and Problems of Complex Variables ... (previous) ... (next): $1$: Point Sets: $12.$
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 1.4$
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): $\S 3$
- 1966: Richard A. Dean: Elements of Abstract Algebra ... (previous) ... (next): $\S 0.2$
- 1967: George McCarty: Topology: An Introduction with Application to Topological Groups ... (previous) ... (next): Introduction: Set-Theoretic Notation
- 1968: A.N. Kolmogorov and S.V. Fomin: Introductory Real Analysis ... (previous) ... (next): $\S 1.2$: Operations on sets
- 1968: Ian D. Macdonald: The Theory of Groups ... (previous) ... (next): Appendix: Elementary set and number theory
- 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): $\S 1.2$: Example $2$
- 1970: Avner Friedman: Foundations of Modern Analysis ... (previous) ... (next): $\S 1.1$: Rings and Algebras
- 1971: Allan Clark: Elements of Abstract Algebra ... (previous) ... (next): $\S 6$
- 1971: Robert H. Kasriel: Undergraduate Topology ... (previous) ... (next): $\S 1.4$: Union and Intersection of Sets
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 5.6$
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 2$: Sets and functions: Sets
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 1$
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): Notation and Terminology
- 1977: Gary Chartrand: Introductory Graph Theory ... (previous) ... (next): Appendix $\text{A}.1$: Sets and Subsets
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 7$
- 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): $\S 1.2$: Sets
- 1986: Geoffrey Grimmett and Dominic Welsh: Probability: An Introduction ... (previous) ... (next): $\S 1.2$: Outcomes and events
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$: Operations on Sets
- 1993: Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.3$: Notation for Sets: Exercise $1.3.1 \ \text{(i)}$
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): Appendix $\text{A}.2$: Boolean Operations
- 2000: James R. Munkres: Topology (2nd ed.) ... (previous) ... (next): $1$: Set Theory and Logic: $\S 1$: Fundamental Concepts
- 2005: René L. Schilling: Measures, Integrals and Martingales ... (next): $\S 2$
- 2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras ... (previous) ... (next): Appendix $\text{A}$: Set Theory: Operations on Sets
- 2008: David Joyner: Adventures in Group Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$: Elements, my dear Watson: Example $1.2.1$
- 2011: Robert G. Bartle and Donald R. Sherbert: Introduction to Real Analysis (4th ed.) ... (previous) ... (next): $\S 1.1$: Sets and Functions
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): Appendix $\text{A}.2$: Definition $\text{A}.8$