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.