Resumen de Completado secuencial de ℝ

Yu Takeuchi

• 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 < B (esto es, a < b para todo a ϵ A, b ϵ B) existe siempre c. ϵ X tal que a < C. < b para todo a ϵ A, y, para todo b ϵ B.ver referencias [1], [5]