===== Sequence union =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ |
| @#55CCEE: context     | @#55CCEE: $A\in \mathrm{InfSequence}(X)$ |
| @#55CCEE: context     | @#55CCEE: $n\in \mathbb N$ |

| @#FFBB00: definiendum | @#FFBB00: ${\bigcup_{k=n+1}^\infty}A_k\equiv\bigcup A(\mathbb N\smallsetminus\mathrm{range}(n))$ | 

==== Discussion ====
==== Parents ====
=== Context ===
[[Infinite sequence]], [[Restricted image]], [[Arbitrary union]]