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