We say Topological space is separable if it has a countable dense subset.

Example

Given L norms: Each is separable for (take finite rational sequences). But is not separable, e.g. consider and indicators . There is uncountably many indicators, and we cannot capture all of them.