的法向量，如果formula_6对所有formula_7（从而formula_8 正交于formula_9）。这样的formula_8的集合formula_11称之为formula_5在formula_13的法空间。就像一个流形的切丛是由流形的所有切空间构造的，formula_5的法丛的全空间formula_15定义为余法丛定义为法丛的对偶丛。它可以自然实现为余切丛的子丛。
一般定义.更抽象地，给定一个浸入formula_17（比如嵌入），我们可以定义"N"在"M"中的法丛