Metric spaces, metrizability, Uniform structures and generalizations, product uniformity, Product spaces in general topology