Baire space
Every complete metric space is a Baire space.