Given an infinite set of sets A - how can I prove in ZFC that the union of all the elements of A exists?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
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