Description: The topology on the extended reals coincides with the standard topology on the reals, when restricted to RR . (Contributed by Glauco Siliprandi, 5-Feb-2022)