Entonces "Y" es un subespacio discreto si y sólo si para cualquier formula_7 existe un conjunto abierto "V" de "X" tal que