Baire space
The precise definition of a Baire space has undergone slight changes throughout history, mostly due to prevailing needs and viewpoints. A topological space formula_1 is called a Baire space if it satisfies any of the following equivalent conditions: