baire space

A Baire space is a complete metric space in which every intersection of countably many dense open sets is dense. This property ensures the space is 'well-connected' and avoids 'gaps' in its structure.

Requires login.