设m是一个微分流形，n是m的子集，如果n也是流形，并且其微分结构和拓扑结构都是由m上的相应结构的限制而得。

确切的说，如果包含映射i:n→m是嵌入映射（就是说，不但是拓扑的嵌入，还是保能够区分切向量的微分映射。）

如果n是m的开集，就称为开子流形。