This is an old revision of the document!
Sequence union
Definition
$X$
$A\in \mathrm{InfSequence}(X)$
$n\in \mathbb N$
${\bigcup_{k=n+1}^\infty}A_k\equiv\bigcup A(\mathbb N\smallsetminus\mathrm{range}(n))$
Discussion
Parents
Requirements
Infinite Sequence
,
Restricted image
,
Arbitrary union
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms