metrization
not defined yet