Oración 1: aśı, πα ↾M es un homomorfismo de (G,M)→ (G,Xα)
Oración 2: : π : M → Xα es continua pues es la restricción de una función continua
Conector: en efecto
Relación: entailment
Género: theses