A topological space is called separable if it has a countable dense subset .

See also Link to heading

• Every separable Hilbert space possesses a countable orthonormal basis (see (0x68ef2135) ).