I=[0,1]
C=R/Z=I/(0〜1)=[0,1)
φ(F(N))={e1/2+…+en/2^n:n∈N,ei=0,1}(有限2進小数全体)
J=I¥φ(F(N))⊂C
A1=(0,1/2)∩J⊂C
cA1=J¥A1⊂C
2:J→J:x→2x
An+1=(2^n)^-1(A1)
cAn+1=J¥An+1
σ(Xn)=<An>={φ,An,cAn,J}
σ(Xn+1,…)=<An+1,…>={A⊂J:A=A(+)1/2^n}
L∈∩σ(Xn+1,…)