  == Strengthening to separability ⇔ countable basis? ==  From article: :Theorem.  Any separable inner product space  has an orthonormal basis. Can this be strengthened? For Hilbert spaces the following is true: :Theorem.  A Hilbert space  is separable if and only if  has a countable orthonormal basis.   