设M是一个微分流形,N是M的子集, 如果N也是流形, 并且其微分结构和拓扑结构都是由M上的相应结构的限制而得。
确切的说, 如果包含映射i:N→M是嵌入映射(就是说,不但是拓扑的嵌入,还是保能够区分切向量的微分映射。)
如果N是M的开集,就称为开子流形。