二項演算、半群、モノイド - ウインドウを閉じる