The following pages link to A set is dense if and only if every non-empty open subset contains a point of it: