Tychonoff 쓴다는 가정하에

{0,1}는 컴팩트니까

{0,1}^w는 컴팩트맞죠??