formula_48 局部上是纤维化映射，其纤维为 formula_34。由于 formula_20 是平滑除子，其法丛为线丛。对于曲面的情形，可证明 formula_20 的自相交数为负，这表明其法丛没有整体上定义的截面。formula_20 是其同调类在 formula_53 上的唯一代表，原因在于：假设 formula_20 经扰动后变为代表同一同调类的另一个复子流形，则它和 formula_20 的相交数必为正，故矛盾。这是例外除子之所以「例外」之故。设 formula_56 维某个 for