调比较）满足定义为 formula_14（这里 formula_15 是基点包含）的核或 formula_16 的余核（这里 formula_17 是常映射）。当 "X" 是连通空间是，formula_18。函子 "K" 的定义扩张成紧空间的范畴偶（一个对象是一个偶 formula_19，formula_20 紧而 formula_21 闭，formula_19 与 formula_23 间的态射是一个连续映射 formula_24 使得 formula_25）。约化 "K"-群有 form