Oración 1: para todo x, y ∈ X ρ(x, y) = τ(f(x), f(y)) Un espacio métrico puede ser visto como un grafo finito
Oración 2: por cada distancia podemos incluir una relación de aridad 2 etiquetada con el valor de la distancia
Conector: en efecto,
Relación: entailment
Género: theses