Definition:Connected Component (Topology)