常映射）。当 "X" 是连通空间是，formula_18。函子 "K" 的定义扩张成紧空间的范畴偶（一个对象是一个偶 formula_19，formula_20 紧而 formula_21 闭，formula_19 与 formula_23 间的态射是一个连续映射 formula_24 使得 formula_25）。约化 "K"-群有 formula_27 给出。定义对 formula_29 给出了 "K"-群序列，这里 "S" 表示约化纬垂（）。
博特周期性.