Pudlák, Pavel (2013). Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer. doi:10.1007/978-3-319-00119-7. ISBN978-3-319-00118-0.
The space (equipped with its tensor productσ-algebra) has a measurable structure which is not generated by a topology. A proof can be found in this answer on MathOverflow.