This is an old revision of the document!
Monoid kernel
Definition
| $ X $ |
| $ M $ … monoid |
| $ f:X\to M $ |
| $ x\in\mathrm{ker}(f) $ |
| $ f(x)=e $ |
Discussion
$\mathrm{ker}(f)$ is $\mathrm{ker}(f)$ w.r.t. the unit of the monoid.
Reference
Wikipedia: Solution set
Context
Subset of
Requirements
