Definition:Closed Subset of Real Numbers