Definition:Difference (Naturally Ordered Semigroup)