Oración 1: un coloreo χ : [B]t → [r] se llama especial con respecto a ρ si el color de un t-espacio T transversal depende únicamente de su proyección
Oración 2: si T1, T ∈ [B]t2 y ρ(T1) = ρ(T2) entonces χ(T1) = χ(T2)
Conector: es decir,
Relación: entailment
Género: theses