The vertex set (of an undirected graph) and the distance function form a metric space, if and only if the graph is connected.
==Похожие понятия==Множество вершин (неориентированного графа) и функция расстояния образуют метрическое пространство в том и только в том случае, когда граф связен.