結合法則をみたすような演算をもつ構造を、半群と呼ぶ