ベール空間
ベール空間は自然数全体の成す集合 ω の可算無限個のコピーのデカルト積に積位相を入れたもの（ただし ω の各コピーには離散位相が入る）として定義することができる。ベール空間は、自然数からなる全ての有限列の成す木として表されることが多い。