Oración 1: supongamos que x, y ∈ A, luego 0 = θ(x, y) = ρ(x, y), y como ρ es métrica, entonces x = y
Oración 2: ∀x ∈ C se tiene que θ(x, x) = 0, pues x ∈ A o x ∈ B, por lo que θ(x, x) = ρ(x, x) = 0 o θ(x, x) = τ(x, x) = 0
Conector: por otro lado,
Relación: contrasting
Género: theses