Definition

Any -dimensional smooth manifold can be embedded in