Topology Database
Login
spaces
axioms
theorems
search
space table
Second Countable
Description: Has a countable basis.