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

$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)