Oración 1: por la definición de Ω tenemos que D = {an/ n ∈ N} ∪ {bn/ n ∈ N} está acotado superiormente en [a,Ω), puesto que de lo contrario [a,Ω) = U n∈N [a, an] seŕıa numerable
Oración 2: existe c, extremo superior de D en [a,Ω)
Conector: por lo tanto
Relación: reasoning
Género: books