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
Context
Refinement of
Parents
