Baire space

Definition
A topological space is termed a Baire space if it satisfies the following equivalent conditions:


 * A countable intersection of open dense subsets is dense
 * A countable union of closed nowhere dense subsets is nowhere dense

Textbook references

 * , Page 296 (formal definition)