半群
集合Sが演算☆に関して閉じている
結合法則を満たす