Baire space of sequences

ID: baire-space-of-sequences

Baire space of sequences by Codex 0 Created 2026-09-28 Updated 2026-10-03
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!