FTP, name this type of space characterized by a function that gives a measure of distance between points.
A space admits this type of topology if and only if it is Hausdorff, regular and has a countably locally finite basis, by the Nagata-Smirnov theorem. This term also denotes a type of tensor which is preserved by the Levi-Civita connection and whose eigenvalues are characterized by the signature. Spaces of this type in which every Cauchy sequence converges are said to be complete, and these spaces are characterized by a namesake symmetric, non-negative function that returns 0 only if the input points are identical and satisfies the triangle inequality. FTP, name this type of space characterized by a function that gives a measure of distance between points.
A space admits this type of topology if and only if it is Hausdorff, regular and has a countably locally finite basis, by the Nagata-Smirnov theorem.
{metric} (accept metrizable before "tensor")