子流形

一個 (無限可微) 流形 被稱為 流形 的子流形 流形 ，如果 是 的 子集，並且從 到 的 恆等對映是一個嵌入。