作 formula_7，复情形记作 formula_8。更确切地，稳定等价，"X" 上丛 "E" 与 "F" 上的等价关系，定义了 "K"("X") 中同样的元素，出现于存在一个平凡丛 "G" 使得在向量丛的张量积下 "K"("X") 成为一个交换环。向量丛的秩带入 "K"-群中定义了同态这里 formula_11 是切赫上同调的 0-群，等于取值于 formula_12 中的局部常值函数群。如果 "X" 有一个特殊的基点 x，则约化 "K"-群（与约化同调比较）满足定义为 form