集合Gの上に二項演算子が定義されており、以下四つの性質を満たすとき集合Gを群と呼ぶ
(以下略)


馬鹿が考えている公理系のイメージ
wwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwwwwwwwww