Countable union

Set

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

Discussion

Parents

Refinement of

Indexed union

Context

Sequence