Oración 1: como fP es un punto ĺımite de FC, existe fA ∈ [σ] ∩ FC, donde f 2P ∈ [σ] = {f : N → {0, 1} | f((n, n)) = 1}
Oración 2: como A ∈ C, el orden <A es lineal, en particular es antirreflexivo, por lo que fA((n, n)) = 0, es decir que fA ∈/ [σ] →←
Conector: sin embargo,
Relación: contrasting
Género: theses