Let $\tau$ be the topology generated by half-open intervals of the form $[a,b)$ where $a$ is a rational number and $b$ is a real number. Let $C$ denote the space endowed with the previously described topology.
Prove/disprove: $C \times C$ is a Lindelof space.
How do you proceed: here $C$ is not equal to the Sorgenfrey line (because of the rational endpoint). Do we have to use Jones lemma like when showing $\mathbb{R}_{l} \times \mathbb{R}_{l}$ is not Lindelof?