Continuous map/Refactoring tasks

Add the following:

1. A map is continuous if and only if the pre-image of every closed set is closed
2. A map is continuous if and only if each point in the domain has an open neighbourhood for which the restriction of the map is continuous on