Not:(X,£) bir topolojik uzay olsun.(X,£) ikinci sayılabilme aksiyomunu sağlıyorsa £'nin € gibi sayılabilir bir alt tabanı vardır ve €*=£dir.
Tamlık örtüsü ne demekti?