 In descriptive set theory it is convenient to work with the “logician's reals”, that is, Baire space: ωω. This is the set of all infinite sequences of natural numbers (with the product topology (taking ω as  discrete)).[9]   In what follows, when we write ‘ℝ’ we shall always mean ‘ωω’. 