User talk:Dfeuer/Compact Subspace of Linearly Ordered Space strengthened

From ProofWiki
Jump to navigation Jump to search

It's 4:30AM here, so I don't much trust myself, but it looks to me like I've got this figured out.

$Y$ is compact iff every non-empty subset has a supremum and infimum in $X$ which lie in $Y$. --Dfeuer (talk) 09:32, 10 February 2013 (UTC)