this is from http://www.math.colostate.edu/~renzo/teaching/Topology10/ 2017-10-04
topology_intro__renzo_44247.pdf