Definition:Loop in Topological Manifold