Processing math: 100%
Abelian monoid
Set
context
⟨
M
,
∗
⟩
∈
M
o
n
o
i
d
(
M
)
definiendum
⟨
M
,
∗
⟩
∈
it
for all
a
,
b
∈
X
postulate
a
∗
b
=
b
∗
a
Reference
Wikipedia:
Monoid
Subset of
Monoid
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms