Definition. k-dimensional smooth submanifold of cartesian space [0092]

A -dimensional smooth submanifold of is a subset of with the following properties. For all there is an open neighbourhood with with a diffemorphism , such that

We call a chart.