A topological space is called second countable if its topology has a countable basis .
Remarks
- A second countable space is first countable, separable and Lindelöf.
- On metric spaces second countable, separable and Lindelöf are equivalent.
- Second countability is passed on to derived topological spaces: