Given an infinite set of sets A - how can I prove in ZFC that the union of all the elements of A exists?
How do I prove the existence of infinite union in ZFC?
2
$\begingroup$
set-theory
axioms
-
0See Wikipedia: [Axiom of union](http://en.wikipedia.org/wiki/Axiom_of_union). – 2012-08-06
1 Answers
6
It is the axiom of union which assert this.
The axiom states that if $A$ is a set, then there exists a set $B$ such that $B=\bigcup A$, that is to say
For every $x$, $x\in B$ if and only if there exists $y$ such that $y\in A$ and $x\in y$.