Dense subset

This article defines a property over pairs of a topological space and a subspace, or equivalently, properties over subspace embeddings (viz, subsets) in topological spaces

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