Definition:Connected Subset of Topological Space