Definition:Countable-Dimensional Real Cartesian Space