Sub-Riemannian manifold

A **sub-Riemannian manifold** is a differentiable manifold equipped with a certain kind of generalized metric structure that allows for the measurement of lengths and distances along curves, but only in a constrained manner.