This is an old revision of the document!
Countable intersection
Definition
$X$
$A\in \mathrm{Sequence}(X)\ \lor\ A\in\mathrm{FinSequence}(X)$
$n\in \mathbb N\cup\{\infty\}$
$\bigcap_{j=1}^n A_j \equiv \bigcap A(\mathrm{range}(n))$
Ramifications
Parents
Refinement of
Arbitrary intersection
Context
Sequence
,
Finite sequence
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms