propiedad topológica, deseable, de completitud, que nos permite el desarrollo del Análisis p-ádico, similar al Análisis real.