群 (抽象代数)

[3] 集合 G は、次のすべての条件を満たす時、 です。