Decimos que una secuencia de elementos enX,⟨xn∣n∈N⟩, es estrictamente decreciente (con respecto a⪯) si para todosm,n∈N\[[m<...Decimos que una secuencia de elementos enX,⟨xn∣n∈N⟩, es estrictamente decreciente (con respecto a⪯) si para todosm,n∈N[m<n]⇒[xn⪯xm∧xn≠xm]. Demostrar que no hay una secuencia estrictamente decreciente de elementos enX.
