A set $X$ is second-countable if there exists a countable collection $\mathcal A$ of open sets in $X$ such that every open set is a union of sets of $A$.
Wikidata ID: Q1363919