Oración 1: si se da alguno de los primeros dos casos de la definición, θ(x, y) ≥ 0, pues tanto ρ como τ son funciones po- sitivas
Oración 2: podemos suponer que x ∈ A y que y ∈ B, aśı θ(x, y) = ρ(x, a) + τ(y, b) + θ(a, b) ≥ 1 ≥ 0
Conector: por lo tanto,
Relación: reasoning
Género: theses