Baire space
The Baire category theorem gives sufficient conditions for a topological space to be a Baire space.