設M是一個微分流形，N是M的子集，如果N也是流形，並且其微分結構和拓撲結構都是由M上的相應結構的限制而得。確切的說，如果包含映射i:N→M是嵌入映射(就是說，不但是拓撲的嵌入，還是保能夠區分切向量的微分映射。)。
