Definition:Discrete Subgroup of Real Numbers