ベール空間
The following is a standard proof that a complete pseudometric space formula_2 is a Baire space.