tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Jan 1 14:39:59 UTC 2015
On Thu, Jan 01, 2015 at 03:37:09PM +0100, Atze van der Ploeg wrote:
> This boils down to the question whether on each set with an equality
> relation defined on it a total ordering (consistent with the equality
> relation) can also be defined.
I agree with the essence of this restatement.
> One counterexample is the complex numbers.
This is what I don't understand. The complex numbers can be totally
ordered. (Not in a way compatible with the field structure, but that's
beside the point).
More information about the Haskell-Cafe