>>916
「〜は R^N を類別する」

上記の（尻尾）同値類の定義でも決定番号は出てこない

（つづく）