Elementary topology.