实向量丛的。陈类因陈省身而得名，他在1940年代第一个给出了它们的一般定义。
定义.给定一个拓扑空间"X"上的一个复向量丛"E","E"的陈类是一系列"X"的上同调的元素。"E"的第k个陈类通常记为"c("E"),是"X"的整数系数的上同调群"H"("X";"Z")中的一个元素，并且满足如下公理:公理1. 对于任何formula_1公理2. 自然性：如果formula_2是一个复向量丛，formula_3是一个连续映射，formula_4是拉回的向量丛，那么对任意k，f