This was Milnor's definition, and it also follows from more general definitions of higher K {\displaystyle K} -groups.
Detta var Milnors definition, och den följer även ur den mer allmänna definitionen på högre K {\displaystyle K} -grupper.