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!
New to topics? Read the docs here!