ewert писал(а):
А-а. А понятие сепарабельности вообще (существования счётных всюду плотных подмножеств) Вас не удивляет?
Топология

идёт в третьей главе, а я счастливо сижу со второй главе вот этой книги.
http://community.middlebury.edu/~abbott ... tents.html