Second-countable T1 space

Definition
A topological space is termed a second-countable T1 space if it is both a second-countable space and a T1 space.

Control of cardinality

 * Second-countable and T1 implies cardinality at most that of the continuum