Oración 1: observación 1: Como A es transversal, sin pérdida de generalidad, podemos asumir que RA ∪· · ·∪RAi i = [A] δi (donde δi = δi = · · · = δi = δi, es decir que suponemos 1 k 1 2 k que para cada δi las relaciones sobre A de esta aridad, son todos los posibles subconjuntos de cardinalidad δi
Oración 2: al agregar estas relaciones A sigue siendo una estructura a-partita transversal
Conector: en efecto,
Relación: entailment
Género: theses