>>5
同じく、数学書じゃない本での群の定義で、

・ 任意のxに対して xe=ex=x となる元 e が存在する
・ 任意のxに対して xy=yx=e となる元 y が存在する

とか書かれているのはしばしば目にする。
文構造が全く同一なのに、意図が異なっているという点を、
筆者はどう認識しているのだろうかと、甚だ疑問に思う。