"上（准确地说，"M"的切丛formula_21通过映射formula_22 拉回到"N"上）。
稳定法丛.抽象流形由一个典范切丛，但没有法丛：只有当一个流形嵌入（或浸入）另一个流形时诱导了一个法丛。但是，由惠特尼嵌入定理，每个紧流形可以嵌入在formula_23中，给了这样一个嵌入，每个流形有一个法丛。一般没有自然的嵌入方式，但对给定的"M"，任何两个嵌入在formula_23中，对足够大"N"是正则同伦的，从而诱导了相同的法丛。所得的法丛类（这是一个丛的类而不是一个特定的丛