全順序群
↑ ここで + を下付きにしたのは、通常は単位元も含めた正錐を上付きで G と書くのとの区別としてである