Completado secuencial de ℝ

Abstract

Se dice que un conjunto totalmente ordenado X es ".superdenso" si dados A, B dos subconjuntos enumerables de X no simultáneamente vacíos con A and lt; B (esto es, a and lt; b para todo a ϵ A, b ϵ B) existe siempre c. ϵ X tal que a and lt; C. and lt; b para todo a ϵ A, y, para todo b ϵ B.ver referencias [1], [5]