Loading [MathJax]/jax/output/HTML-CSS/jax.js
Countable intersection
Set
context
X
context
A
∈
S
e
q
u
e
n
c
e
(
X
)
context
n
∈
N
∪
{
∞
}
definiendum
⋂
n
j
=
1
A
j
≡
⋂
A
(
r
a
n
g
e
(
n
)
)
Ramifications
Parents
Refinement of
Arbitrary intersection
Related
Sequence