Oración 1: (ii) (L, ?, 1) es un semigrupo conmutativo con unidad el elemento 1
Oración 2: ? es asociativo, conmutativo, y 1 ? x = x para todo x ∈ L
Conector: es decir,
Relación: entailment
Género: theses