## Sequence intersection

### Set

 context $X$ context $A$ … sequence over $X$ context $n\in \mathbb N$
 definiendum ${\bigcap_{k=n+1}^\infty}A_k\equiv\bigcap A(\mathbb N\smallsetminus\mathrm{range}(n))$