>11
そういえば、そうだな。

論理的にやろうとすると、
モノイド
・結合律
・単位元の存在

をやった後に、単位元の一意性を示してから

群の定義をやらないとダメなのか。