Plenty of topology
Rename metric topology notes.
More topology