monoid
任意の集合
$ M
と
$ M
上の
二項演算
$ \cdot:M\times M\to M
にて、以下を満たす組
$ (M,\cdot)
を
monoid
と呼ぶ
1.
結合律
の成立：
$ \forall a,b,c\in M; a\cdot(b\cdot c)=(a\cdot b)\cdot c
2.
両側単位元の存在
：
$ \exist 1_M\in M\forall a\in M;1_M\cdot a=a\cdot1_M=a
References
https://ja.m.wikipedia.org/wiki/モノイド
#モノイド
#単系
#2024-10-22
18:17:13