#baire space #topology #descriptive set theory #N^N #natural numbers