Say we have a metric space space $(\Omega, d)$. Is the following true:
$(\Omega, d)$ has a countable basis in a metric space $\iff$ $(\Omega, d)$ separable metric space
To me the equivalence seems intuitive (in terms of open balls) but I have not seen it actually stated anywhere