Математическая энциклопедия
Топологическое пространство, обладающее счетной базой. Про такие пространства иногда говорят, что они удовлетворяют второй аксиоме счетности. М.
сепарабельное пространство