>>548
>つまり、どういう集まりなら群になるのか定義からは分からない

それを言うなら圏だって同じじゃないの？
どういう射の集まりなら圏になるのか定義からは分からない