Talk:Dedekind's Theorem

Maybe "Dedekind's Cut Theorem" is a better name, maybe not (matter of opinion), but AFAIK this is called "Dedekind's Theorem" in the literature. As we tend (unless we have a good reason) to document things as they are rather than as we believe they ought to be, then "Dedekind's Theorem" is what I recommend the name of this page to remain. --prime mover (talk) 20:45, 23 January 2013 (UTC)