Dit d’un espai topològic que conté un subconjunt numerable que és dens, és a dir, que tot entorn d’un punt qualsevol de l’espai conté almenys un punt del subconjunt numerable.
La recta real ℝ és separable perquè existeix el subconjunt numerable i dens dels racionals ℚ. Tot espai topològic que satisfà el segon axioma de numerabilitat és separable (en particular, ho és tot espai de Hilbert).