Category:Definitions/Indiscrete Extensions of Reals