ベール空間
Any open subspace of a Baire space is itself a Baire space.