Baire space
Noun
Meaning
Baire space (plural Baire spaces)
A topological space such that every intersection of a countable collection of open dense sets in the space is also dense.
Examples
Comparing the convergents with the approximants derived from the Babylonian method: : : : : : Properties of infinite continued fractions Baire space is a topological space on infinite sequences of natural numbers.
Proof The following is a standard proof that a complete pseudometric space is a Baire space.