浸没

浸没是一个光滑映射 当

给定微分，或雅可比矩阵，在每个 在 中是满射。浸没的基本例子是 从 到 的典范浸没，当 时，

事实上，如果 是一个浸没，那么有可能在 在 附近找到坐标，并在 在 附近找到坐标，使得 在这些坐标中是典范浸没。例如，考虑由 给出的从 到圆 的浸没。