En topología, un espacio topológico es un espacio separable si incluye un subconjunto denso numerable.