そうそう、同値類の中も変な集合
sの目が無限に0でないとすると任意のε≠0平行移動すると同値類の外へでる
sの目がある番号から先0、つまり有限の箱の目を当ててるような気がする
同値類の中は決定番号で可算個の直和にかけるけど平行移動不変とは限らない、痩せ集合のような気がする