在数学领域之微分几何中，法丛（）是一个特殊的向量丛，得自一个嵌入或浸入，是切丛的补。
定义.
黎曼流形.设formula_1是一个黎曼流形，formula_2是一个黎曼子流形。对给定的formula_3，一个向量formula_4定义为formula_5的法向量，如果formula_6对所有formula_7（从而formula_8 正交于formula_9）。这样的formula_8的集合formula_11称之为formula_5在formula_13的法