$K_0$ as an ordered group, traces Topological K-theory mathematics