I recently came across an algorithm that works on values assuming that they are draw from a monoid equipped with a total ordering relation. I was wondering if there is a term for such a structure, since it seems related to concepts like Euclidean domains and fields (though the requirements are much less strict). Does this entity have a name? Or is it just "a monoid over totally ordered elements?"
Thanks!