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