Moreover, the definition is more direct in the sense that the K-groups, defined via the Q-construction are functorial by definition.
さらに、この定義は、Q-構成が定義により函手性を持っている定義であるという意味で、より直接的である。