Oración 1: σ(xδ ))i Intuitivamente, lo que intentamos hacer es formalizar lo que es un hipergrafo linealmente ordenado
Oración 2: cada δi representa una aridad de las relaciones que consideramos en un hipergrafo, y respectivamente cadaRMi es el conjunto de las δi-tuplas que satisfacen esta relación
Conector: en efecto,
Relación: entailment
Género: theses