All Questions
1 question
2
votes
1
answer
302
views
Name for this algebraic structure?
I've found myself looking at a structure $\mathbb{M}$ whose important properties are:
$\mathbb{M}$ is a discretely ordered additive monoid.
$\mathbb{M}$ has a least element, and this least element is ...
- 10.1k