Talk:Heine-Borel iff Dedekind Complete

What's questionable, exactly? I'm not assuming $X =\R$.

However, I just realized that (unless I err), the reverse implication can be strengthened on another page before being used here. --Dfeuer (talk) 22:20, 11 February 2013 (UTC)


 * Sorry. Misremembered def. of Dedekind complete. One of the reasons why it's better to provide adequate linking from the start. --Lord_Farin (talk) 22:28, 11 February 2013 (UTC)