Baire space
The following is a standard proof that a complete pseudometric space formula_2 is a Baire space.