#baire space #topology #cantor space #descriptive set theory #tree structure