Oración 1: también se tiene que O(A,≤) < card(P(A)), donde P(A) es el conjunto de todos los subconjuntos de A
Oración 2: supongamos que card(P(A)) ≤ O(A,≤)
Conector: en efecto,
Relación: entailment
Género: books