Definition. Submanifold [00AF]

A subset of a smooth n-dimensional manifold is called a smooth submanifold of dimension if for all there is a smooth chart of with such that and . These charts of are called submanifold charts for