数 compact submanifold
数 open submanifold
数 regular submanifold
子流形是单浸入映射对应的流形间的关系。设M与N是两个微分流形,φ:M→N是C∞映射,若φ是单射,且φ是浸入,则称(M,φ)是N的子流形。或等价地定义为:M作为点集是N的子集,且从M到N的恒等映射是M到N中的嵌入,就称M为N的子流形。