---
type: "concept"
title: "Metric"
slug: "metric"
language: "en"
translationGroupId: "cmrv2z28z000bqr01e4sohlbl"
domain: "General topology"
status: "stub"
aliases: ["Distance function"]
lastEditedBy: "ancient-tree"
---

A metric on a set $X$ is a function $d:X\times X$ verifying...