Noun
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.
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. Source: Internet
Proof The following is a standard proof that a complete pseudometric space is a Baire space. Source: Internet