Érdekes, hogy a {0,1}^N "konkrét" dolog a halmazelméletben- a Te kifejezéseddel, - addig ha topologikus térként fogjuk fel, már kell a kiválasztási axióma ahhoz, hogy a szorzattér kompakt (Tyihonov-tétel - de ez már csak kötözködés).