어쩔 수 없기 때문임


절대 저게 좋고 우아해서 그런게 아님



왜냐하면 저게 좋은 방식이라면 group도 똑같은 방식으로 정의를 했어야됨


그런데 group은 (S,*)라는 실체로 정확하게 합의를 해놓은거 보면 이게 더 나은 방식이라는 거임


이러면 논란이 없거든


근데 consists of 이따위로 해놓으면 사람마다 category의 실체에 대해 다르게 생각할 수가 있음