ベール空間
The arithmetical hierarchy of subsets of Cantor and Baire space.