"X" es completo si y solo si todo subconjunto acotado que sea cerrado en la topología del orden es compacto.