\begin{definition}[Definition:Baire Space (Set Theory)]
The '''Baire space''' $\mathbf B$ is defined as the set of all infinite sequences of natural numbers.
It can also be defined as the Cartesian product of a countably infinite number of copies of the set of natural numbers.
\end{definition}