A topological space is second-countable if there exists a countable basis for its topology.
Similarly, a locale is second-countable if there is a countable set B of opens such that every open is a join of some subset of B.