A set X with distance d: X×X → ℝ≥0 satisfying identity, symmetry, and triangle inequality. Every metric induces a topology; not every topology comes from a metric.
A set X with distance d: X×X → ℝ≥0 satisfying identity, symmetry, and triangle inequality. Every metric induces a topology; not every topology comes from a metric.