Processing math: 100%
Monoid kernel
Set
context
X
context
M
… monoid
context
f
:
X
→
M
definiendum
x
∈
k
e
r
(
f
)
postulate
f
(
x
)
=
e
Discussion
k
e
r
(
f
)
is
s
o
l
(
f
)
w.r.t. the unit of the monoid.
Reference
Wikipedia:
Solution set
Parents
Subset of
Solution set
Context
Monoid