群の公理的定義(閉包、結合律など)