Oración 1: ◦ el orden <P no es transitivo: existen n,m, z ∈ N, tales que n <P m y m <P z pero n 6<P z
Oración 2: si tomamos el abierto de fP ∈ [σ] = {f : N → {0, 1} | f((n,m)) = 1 ∧ f((m, z)) = 1 ∧ f((n, z)) = 0}, como fP es un punto ĺımite de FC, existe fA ∈ [σ] ∩ FC
Conector: por lo tanto,
Relación: reasoning
Género: theses