>>164
本当はC(K)はKからZへの写像の集合。
よってその元は、単体の特性関数の1次結合で書ける。

でも形式和という理解で差し支えない。