Baire Space iff Open Sets are Non-Meager/Historical Note

Historical Note on Baire Space iff Open Sets are Non-Meager
This result was the original definition which gave for the Baire space.

The more modern approach is to define it directly in terms of interiors of countable unions of closed sets.