Topology, Dense, Separable

Dense, Separable

A set S is dense in T if it intersects every nonempty open set in T.

A space is separable if it contains a countable dense set.

The reals are separable, since the rationals are dense in the reals, and the rationals are countable.