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