>>596
そもそも群の公理の同値な条件を云々しているので
どれが良いか（より弱いか）は個人の好み
ただし教育的な観点からの評価はあるか
自分は>>447
∀g,h ∃x,y gx=h, yg=h
か次点で>>591
∃e∀g∃h ge=g, gh=e
がいいかな