General topology and applications. (2020)