Processing math: 100%
Unit element
Set
context
⟨
M
,
∗
⟩
… magma
definiendum
e
∈
it
postulate
e
∗
a
=
a
∗
e
=
e
Reference
Wikipedia:
Magma
Requirements
Magma