Baire space of sequences
= Baire space of sequences
{c}
{title2=$\omega^\omega$}
{wiki=Baire_space_(set_theory)}
The set-theoretic Baire space is $\omega^\omega$, the set of all infinite <sequence>[sequences] of <natural number>[natural numbers], with the product topology obtained from discrete $\omega$.