Baire space of sequences

ID: baire-space-of-sequences

The set-theoretic Baire space is , the set of all infinite sequences of natural numbers, with the product topology obtained from discrete .

New to topics? Read the docs here!