Define open neighborhoods, refactor topological continuity characterization so that it works for continuity at a single point