Category:Definitions/Discrete Extensions of Reals