ベール空間
There are two ways that a subset of Baire space can be classified in the arithmetical hierarchy.