Monoid kernel
Set
| context | X |
| context | M … monoid |
| context | f:X→M |
| definiendum | x∈ker(f) |
| postulate | f(x)=e |
Discussion
ker(f) is sol(f) w.r.t. the unit of the monoid.
Reference
Wikipedia: Solution set
Parents
Subset of
Context
| context | X |
| context | M … monoid |
| context | f:X→M |
| definiendum | x∈ker(f) |
| postulate | f(x)=e |
ker(f) is sol(f) w.r.t. the unit of the monoid.
Wikipedia: Solution set
