adj. (of a topological space) such that the topology has a countable base. A metric space is second-countable if and only if it is separable. For example, the usual topology on the reals is second-countable. Compare first countable.