Un conjunto se dice que es separable si tiene algún subconjunto denso y numerable.