En matemáticas, la topología discreta de un conjunto X es la topología dada por el conjunto potencia de X.
Esto es, todo subconjunto de X es un conjunto abierto en la topología discreta.
Cualquier conjunto con la topología discreta es metrizable si definimos
Las siguientes condiciones son equivalentes: Notemos que cualquier biyección entre espacios discretos es un homeomorfismo.
existe un conjunto abierto V de X tal que