逆が無い群はモノイドになって、単位元のないモノイドは半群になって、
じゃあ結合法則がない半群は何になるんですか？
基本的な質問ですがお願いします。