Oración 1: [Lema Principal] Para cada entero positivo l y cada par de núme- ros reales 0 < d < D, si A es métrico en Rell(d,D), entonces la clase Rell(d,D) es A − Ramsey
Oración 2: que para todo B ∈ Rell(d,D) tal que A ≤ B existe C ∈ Rell(d,D) y en Rell(d,D) vale C → (B)A2
Conector: es decir,
Relación: entailment