>>594
さらに考え直しました
∃e∀g　ge = g
かつ
∃e(∀g　ge = g → ∀g∃h gh = e)
あたりが私の気持ちに近いかもしれません…