Oración 1: con lo anterior, si definimos a E+(x) como el cono de luz futuro de un punto x ∈ M, es posible demostrar que E+(x) ⊂ İ+(x), donde İ+(x) denota la frontera del futuro cronológico de x
Oración 2: en general estos dos conjuntos no son iguales
Conector: no obstante,
Relación: contrasting
Género: theses