Definition. A Topological space is second countable if it has a Countable basis.

motivational example. Second-countability is a topological property (invariant under Homeomorphisms)

Second countable implies First countable