正則曲面

一個 子集 被稱為正則曲面，如果對於每個點 ，存在一個 鄰域 的 在 中，以及一個從 對映 的 開集 到 的對映 使得

1. 是可微的，

2. 是同胚，並且

3. 每個對映 都是一個正則引數片。

正則曲面的任何開子集也是正則曲面。