This is an old revision of the document!
Sequence intersection
Definition
$X$
$A$ … sequence over $X$
$n\in \mathbb N$
${\bigcap_{k=n+1}^\infty}A_k\equiv\bigcap A(\mathbb N\smallsetminus\mathrm{range}(n))$
Ramifications
Parents
Refinement of
Arbitrary intersection
Requirements
Sequence
Context
Restricted image
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms