Separable

Definition (Separable)

Let AA be a Metric Space. AA is said to be separable if X:=(Xn)n1A\exists X:=(X_{n})_{n\ge 1}\subset A where XX is dense in AA. i.e. there exists a dense, countable subset of A.

Remark

Every compact metric space is separable.

Linked from