Oración 1: rEL(∆) ES UNA CLASE DE FRAÏSSÉ Y LIMF (REL(∆)) ES RLOH(∆) B2
Oración 2: notemos que para todo i ∈ [n] a Ci < ai+1 pues como A ⊆ B1 y A ⊆ B2, entonces a B1 B2i < ai+1 y ai < ai+1
Conector: en particular,
Relación: entailment
Género: theses