A metric space is separable when it has a countable subset of elements which is dense in the whole space. This is required for the useful existence of (e.g.) a [Hamel basis]?, which must be countable. |
A topological space is separable when it has a countable subset of elements which is dense in the whole space. This is required for the useful existence of (e.g.) a [Hamel basis]?, which must be countable. |