陈类是一系列"X"的上同调的元素。"E"的第k个陈类通常记为"c("E"),是"X"的整数系数的上同调群"H"("X";"Z")中的一个元素，并且满足如下公理:公理1. 对于任何formula_1公理2. 自然性：如果formula_2是一个复向量丛，formula_3是一个连续映射，formula_4是拉回的向量丛，那么对任意k，formula_5公理3. 惠特尼求和公式：如果formula_6是两个复向量丛，那么它们的直和formula_7的陈类是formula_8公理4. 如果fo