Topological Subspace of Real Number Line is Lindelöf

Theorem
Let $R = \left({\R, \tau_d}\right)$ be the Real number topological space.

Let $W$ be a non-empty subset of $\R$.

Then $R_W$ is Lindelöf

where $R_W$ denotes the topological subspace of $R$ on $W$.

Proof
Let $\mathcal C$ be a open cover for $W$.

Define $Q := \left\{{\left({a\,.\,.\,b}\right): a, b \in \Q}\right\}$

Define a mapping $h:Q \to \Q\times\Q$:
 * $\forall \left({a\,.\,.\,b}\right) \in Q:h \left({\left({a\,.\,.\,b}\right)}\right) = \left({a, b}\right)$

It is easy to see by definition that
 * $h$ is an injection.

By Injection iff Cardinal Inequality:
 * $\left\vert{Q}\right\vert \le \left\vert{\Q \times \Q}\right\vert$

where $\left\vert{Q}\right\vert$ deontes the cardinality of $Q$.

By Rational Numbers are Countably Infinite:
 * $\Q$ is countably infinite.

By definition of countably infinite:
 * there exists a bijection $\Q \to \N$

By definitions of set equality and cardinality:
 * $\left\vert{\Q}\right\vert = \left\vert{\N}\right\vert$

By Aleph Zero equals Cardinality of Naturals:
 * $\left\vert{\Q}\right\vert = \aleph_0$

By Cardinal Product Equal to Maximum:
 * $\left\vert{\Q \times \Q}\right\vert = \max\left({\aleph_0, \aleph_0}\right) = \aleph_0$

By Countable iff Cardinality not greater than Aleph Zero:
 * $Q$ is countable.

By definition of cover:
 * $W \subseteq \bigcup \mathcal C$

By definition of imion:
 * $\forall x \in W: \exists U \in \mathcal C: x \in U$

By Axiom of Choice define a mapping $f: W \to \mathcal C$:
 * $\forall x \in W: x \in f \left({x}\right)$

We will prove that
 * $\forall x \in W: \exists A \in Q: x \in A \land A \cap W \subseteq f \left({x}\right)$

Let $x \in W$.

By definition of open cover:
 * $f \left({x}\right)$ os open in $R_W$.

By definition of topological subspace:
 * there exists U a subset of $\R$ such that
 * $U$ is open in $R$ and $U \cap W = f \left({x}\right)$

By definition of $f$:
 * $x \in f \left({x}\right)$

by Definition:Open Set/Metric Space:
 * $\exists r > 0: B_r\left({x}\right) \subseteq U$