Definition:Compact Set of Reals