Sequence union - Axioms of Choice

Processing math: 100%

Sequence union

Set

context	$X$
context	$A\in \mathrm{InfSequence}(X)$
context	$n\in \mathbb N$

definiendum

${\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

Log In

Improvements of the human condition