>>483
それだけだと群であることは示せてないが
定義は理解してる?