Baire theorem
Let $(X, \rho)$ - a complete-metric-space. It cannot be decomposed into a countable union of subsets which are not dense-subset.
Let $(X, \rho)$ - a complete-metric-space. It cannot be decomposed into a countable union of subsets which are not dense-subset.