Si "Y" es un subconjunto de "X", y la topología subespacio en "Y" es discreta, entonces "Y" es un "subespacio discreto" de "X"-