S est même héréditairement séparable : (en) R. M. Stephenson, Jr., « Symmetrizable, ℱ-, and weakly first countable spaces », Can. J. Math., vol. 29, no 3, , p. 480-488 (lire en ligne).
projecteuclid.org
(en) R. H. Sorgenfrey, « On the topological product of paracompact spaces », Bull. Amer. Math. Soc., vol. 53, , p. 631-632 (lire en ligne).