Premisa: como P es un punto ĺımite de FC, existe A ∈ C, tal que fA ∈ FC∩[σ], pero como el orden <A de A es lineal y n 6= m tenemos que n <A m o que m <A n
Hipótesis: si (X, d) es un espacio métrico y tomamos x, y ∈ X tal que d(x, y) = i, decimos que x, y están relacionados por la relación Ri que indica -estamos a una distancia i-
Conector eliminado: 0
Etiqueta del conector: neutral
Etiqueta humana (mayoría): neutral