>>72
>一意的と言っても、勿論、単数によって生じる違いは無視
>してるわけですね。
無視してるのは積の順序だけ
単元は素元でないから(順序を除いて)厳密に一意