Let be a -dimensional differentiable manifold and let .
A -dimensional (embedded) submanifold is a subset
such that every has a coördinate chart
such that . #m/def/geo/diff
Thus inherits the structure of an -dimensional differentiable manifold from ,
with the induced chart .
