チャーン類
X を微分可能多様体とする。複素ベクトルバンドル formula_26 の基本不変量はバンドルのチャーン類である。定義により、チャーン類は、formula_27 が formula_28 の元であり、次の公理をみたすような数列 formula_29 ことである。