This is an old revision of the document!
Countable union
Definition
$A\in \mathrm{Sequence}(X) $
$n\in \mathbb N\cup\{\infty\}$
$\bigcup_{j=1}^n A_j \equiv \bigcup A(\mathrm{range}(n))$
Discussion
Parents
Refinement of
Indexed union
Requirements
Sequence
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms