metric.second_countable_of_countable_discretization source