Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Formulation F9752 on
R4213: Countable set union is invariant under bijective shifting of indices
F9752
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
)