Oración 1: w x1 x2 x3 x4 b b b b b En rojo se indican las relaciones de aridad 2 En azul se indican las relaciones de aridad 3 Para ver que LimF (Rel(∆)) = ROLH(∆) veremos que Age(ROLH(∆)) = Rel(∆) y que ROLH(∆) es una estructura ultrahomogénea
Oración 2: como por definición ROLH(∆) es una estructura contable, por unicidad del Ĺımite de Fräıssé, tenemos que ROLH(∆) ∼= LimF (Rel(∆))
Conector: en efecto,
Relación: entailment
Género: theses