On dit qu'un espace topologique est un espace de Baire si dans cet espace, toute intersection dénombrable d'ouverts denses est dense.

• Tout espace topologique complètement métrisable (c'est-à-dire sous-jacent à un espace métrique complet) est de Baire.
• Tout espace localement compact est de Baire.
• Tout ouvert d'un espace de Baire est de Baire (pour la topologie induite).