数学上，流形的子流形是子集，且本身也有流形的结构，并且内含映射 → 满足特定属性。根据具体所需的属性，有各种不同类型的子流形。不同作者经常采用不同的定义。
下面假设所有流形为类微分流形， ≥ 1，并且所有映射为类可微。
流形的浸入子流形是流形，带有给定浸入 : → （ : → ()是一个光滑映射，且其雅可比矩阵处处满秩）。因此，在中的像和存在局域同胚。如果进一步要求的度量和从拉回的度量相同，则称等度浸入子流形。
嵌入子流形（也称正则子流形）是浸入子流形，其浸入映射为同胚。子流形拓扑和它的像（流形的子集）的子集拓扑相同。
嵌入子流形也可以内蕴定义：令为-维流形，令为整数，满足0 ≤ ≤ 。-维嵌入子流形是子空间 ⊂ 使得，对每个点 ∈ ，存在图( ⊂ , φ : → R)包含满足φ( ∩ )是一个-维平面和φ()的交。二元组( ∩ , φ| ∩ )构成上微分结构的图册。
子流形在李群理论中出现频繁，因为很多李群可以视为非退缩矩阵乘法群的子流形兼子群。
文献中有其他子流形的变种定义。
给定的浸入子流形，其点的切空间可以视为在中的线性子空间。这是因为浸入给出了一个单射
假设是的嵌入子流形。若内含映射 : → 是闭映射则也称闭嵌入子流形。这是具有良好属性的一类子流形。
流形经常被为欧几里得空间R的子流形，所以这是一个非常重要的特例。根据惠特尼嵌入定理所有第二可数的光滑-流形可以光滑地嵌入到R2中。而且根据纳什嵌入定理，所有紧致闭流形可以等距嵌入欧几里得空间。
