>>751 訂正

>{0,1}^Nは非可算まで言えれば、{0,1}^N→{0,1}^N/〜で単射を構成して、「{0,1}^N⊂{0,1}^N/〜」をいうくらいの方針はすぐに立つ

? 時枝問題のしっぽの同値類