"S"上微分结构的图册。子流形在李群理论中出现频繁，因为很多李群可以视为非退缩矩阵乘法群的子流形兼子群。
其他变种.文献中有其他子流形的变种定义。
属性.给定"M"的浸入子流形"S"，其"p"点的切空间可以视为"p"在"M"中的线性子空间。这是因为浸入给出了一个单射假设"S"是"M"的嵌入子流形。若内含映射"i" : "S" → "M"是闭映射则"S"也称闭嵌入子流形。这是具有良好属性的一类子流形。
欧几里得空间子流形.流