This page has moved to /blog/2018/07/25/10-basis-for-topology/.