有限分割の極限は順極限で、無限分割するには
逆極限を取らないといけないので、別物。