Axiom of union
In axiomatic set theory, the axiom of union is one of the axioms of Zermelo–Fraenkel set theory. This axiom was introduced by Ernst Zermelo.
Informally, the axiom states that for each set x there is a set y whose elements are precisely the elements of the elements of x.
Formal statement
In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:or in words:
or, more simply:
Relation to Pairing
The axiom of union allows one to unpack a set of sets and thus create a flatter set.Together with the axiom of pairing, this implies that for any two sets, there is a set that contains exactly the elements of the two sets.
Relation to Replacement
The axiom schema of replacement allows one to form many unions, such as the union of two sets.However, in its full generality, the axiom of union is independent from the rest of the ZFC-axioms:
Replacement does not prove the existence of the union of a set of sets if the result contains an unbounded number of cardinalities.
Together with the axiom schema of replacement, the axiom of union implies that one can form the union of a family of sets indexed by a set.
Relation to Separation
In the context of set theories which include the axiom of separation, the axiom of union is sometimes stated in a weaker form which only produces a superset of the union of a set. For example, Kunen states the axiom aswhich is equivalent to
Compared to the axiom stated at the top of this section, this variation asserts only one direction of the implication, rather than both directions.
Relation to Intersection
There is no corresponding axiom of intersection. If is a nonempty set containing, it is possible to form the intersection using the axiom schema of specification asso no separate axiom of intersection is necessary.