>>490

(1)演算が閉じているか?
(2)結合法則を満たしているか?
(3)単位元があるか?
(4)逆元があるか?

だ