Si formula_1 contiene a un denso numerable se dice que es un espacio topológico separable.