 Hewitt–Marczewski–Pondiczery theorem

A product of at most continuum many separable spaces is separable. More generally, if each factor has a dense subset of cardinality at most an infinite cardinal $\kappa$ and there are at most $2^{\kappa }$ factors, then the product has a dense subset of cardinality at most $\kappa$.