Dense

Definition (Dense)

A subset A⊂XA\subset X of a topological space is dense if cl(A)=X.\text{cl}(A)=X.

Definition (Dense (metric space))

Let BB be a Metric Space, and let A⊂BA\subset B. AA is dense in BB if: ∀b∈B, ϵ>0, ∃a∈A:∥a−b∥≤ϵ\forall b\in B, \,\epsilon>0,\,\exists a\in A:\lVert a-b \rVert \le \epsilon

Intuition

An analogous way of stating this is saying that there exist sequences (an)n∈N⊂A(a_{n})_{n\in\mathbb{N}}\subset A s.t. lim⁡n→∞an∈B\lim_{ n \to \infty }a_{n}\in B.

Linked from