Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F9755 on
R4215: Countable set intersection is invariant under bijective shifting of indices
F9755
Formulation 0
Let
X
n
be a
D11: Set
for each
n
∈
N
.
Let
π
:
N
→
N
be a
D353: Set automorphism
on
N
.
Then
⋂
n
∈
N
X
n
=
⋂
n
∈
N
X
π
(
n
)