モノイド
代数的構造の一つで、環,群,アーベル群,体とかそういうやつの仲間。
単位元 "e" を持つ半群 (S,○)のことらしい
性質としては
演算△をしても結果がそのモノイドに含まれる (a△b ∈ M)閉じている
計算する順番を変えても結果が変わらない(結合法則を満たす)
単位元をもつ
の３つかなぁって感じ
#ワード