Definition:Compact Subset of Real Numbers