Talk:Non-Closed Set of Real Numbers is not Compact

The statement of the result is how it appears in the cited work. The various types of interval were introduced. The concept of compactness was introduced. It may look silly to you because you were not following the flow of the exposition in the source work.

And what is wrong with writing Set of Real Numbers that it has to be changed to Subset of Real Numbers? --prime mover (talk) 22:36, 9 November 2012 (UTC)


 * Nothing really wrong with it; I just thought that it would be more consistent with Compact Subset of Real Numbers is Closed and Bounded and the like. --abcxyz (talk) 22:48, 9 November 2012 (UTC)


 * ... but inconsistent with the terms "closed set" and "open set" which are usually called that and not "closed subset" and "open subset". --prime mover (talk) 22:53, 9 November 2012 (UTC)


 * Or maybe it should be "subspace" (to be really accurate, as in Compact Subspace of Hausdorff Space is Closed)?
 * Why is the flow of exposition in the source work relevant to ProofWiki?
 * By the way, what makes the title "Non-Closed..." preferable to "Compact..."? --abcxyz (talk) 22:59, 9 November 2012 (UTC)
 * Because that's the thrust of how it appears in the cited work. --prime mover (talk) 23:09, 9 November 2012 (UTC)