Definition A topological group acting on a manifold is called proper if the map is proper. Orbits of a proper action The orbits of a proper Lie group action on are embedded, closed submanifolds with (the generating vector fields of at form the tangent space of the orbit). Proof