Oración 1: m = aj=1Mj es un conjunto linealmente ordenado
Oración 2: ∀j ∈ [a] Mj es un orden lineal
Conector: en efecto,
Relación: entailment
Género: theses