#baire space #topology #infinite tuple #product topology #set theory #sequence space