A subset is called a regular surface if for each point , there exists a neighborhood of in and a map of an open set onto such that
1. is differentiable,
2. is a homeomorphism, and
3. Each map is a regular patch.
Any open subset of a regular surface is also a regular surface.