Definition talk:Naturally Totally Ordered Semigroup

I can't say if this is what is supposed to be defined at Definition:Naturally Ordered Semigroup because that definition is not self-consistent. The terms I just put up all came from the first paragraph of a single article, so at least they should make sense from some perspective. --Dfeuer (talk) 02:17, 7 April 2013 (UTC)

An obvious difference is that Definition:Naturally Ordered Semigroup assumes a commutative semigroup, whereas this definition is more general. --Dfeuer (talk) 02:19, 7 April 2013 (UTC)

In what way is Definition:Naturally Ordered Semigroup "not self-consistent"? --prime mover (talk) 09:24, 7 April 2013 (UTC)

It is pretty much consistent now. I fixed the broken natural-language descriptions once I determined what Warner actually wrote. --Dfeuer (talk) 15:57, 7 April 2013 (UTC)