Definition, synonyms and related words
The completion of the metric space of the set of finite graphs endowed with the cut metric.