This is an old revision of the document!

## Countable union

### Definition

 $X$ $A\in \mathrm{Sequence}(X)$ $n\in \mathbb N\cup\{\infty\}$
 $\bigcup_{j=1}^n A_j \equiv \bigcup A(\mathrm{range}(n))$