===== Countable intersection =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ |
| @#55CCEE: context     | @#55CCEE: $A\in \mathrm{Sequence}(X)$ |
| @#55CCEE: context     | @#55CCEE: $n\in \mathbb N\cup\{\infty\}$ |

| @#FFBB00: definiendum | @#FFBB00: $\bigcap_{j=1}^n A_j \equiv \bigcap A(\mathrm{range}(n))$ |

==== Ramifications ====
==== Parents ====
=== Refinement of ===
[[Arbitrary intersection]]
=== Related ===
[[Sequence]]