Dense subset

Definition
A subset of a topological space is termed dense if it satisfies the following equivalent conditions:


 * Its closure is the whole space
 * It intersects every nonempty open subset