second countable

A topological space is said to be second countable if it has a countable basis. It can be shown that a second countable space is both Lindelöf and separable, although the converses fail. For instance, the lower limit topology on the real line is both Lindelöf and separable, but not second countable.