Axiom of Union - kipawaa/Proof-Tree GitHub Wiki

Statement

For any set $S$ there exists a set $U = \cup S$ such that $x \in U$ iff $x \in A$ for some $A \in S$. Often, the intersection of two sets $A$ and $B$ is denoted $A \cup B = \{x \mid x \in A$ or $x \in B\}$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

• Uniqueness of Union
• Domain of a Relation is a Set
• Range of a Relation is a Set

Sources

Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096