rmula_15定义为余法丛定义为法丛的对偶丛。它可以自然实现为余切丛的子丛。
一般定义.更抽象地，给定一个浸入formula_17（比如嵌入），我们可以定义"N"在"M"中的法丛，在每一点取"M"上的切丛对"N"的切丛的商空间。对黎曼流形我们可将商与正交补等同，但一般不可行（这样一种选取等价于投影formula_18的一个截面）。从而法丛一般是周围空间对限制在子丛上切丛的商。正式地，"N"在"M"中的法丛是"M"的切丛的一个商丛： 我们有"N"上向量丛的短正合序列：