Countable subspace of a Lindelöf space Let $X$ be a Lindelöf space, and $E \subset X$.
I am interested in the following property. 

(1) $E$ is countable $\Leftrightarrow$ $\forall x \in X, \exists U_x$
  open set such that $x \in U_x$ and $U_x \cap E$ is countable

Which in case $E$ is closed leads to :

(2) $E$ is countable $\Leftrightarrow$ $\forall x \in E, \exists U_x$
  open set such that $x \in U_x$ and $U_x \cap E$ is countable

(by taking $U_x = X \backslash E$ for $x \in X \backslash E$)
For example, (2) can be used to prove that a discrete and closed subspace of a Lindelöf space (like $\mathbb{R}$ or any $\sigma$-compact space) is countable.
Here is the proof for ($\forall x \in X, \exists U_x$ open set such that $x \in U_x$ and $U_x \cap E$ is countable $\Rightarrow E$ is countable) :
We have $X = \cup _{x \in X} U_x$. Because $X$ is Lindelof, we have a countable family $\{x_i\}_{i \in \mathbb{N}}$ such that $X = \cup _{i \in \mathbb{N}} U_{x_i}$. Then $E = X \cap E = \cup _{i \in \mathbb{N}} (U_{x_i} \cap E )$ is a countable union of countable subsets, so it is countable.

My questions are : 
  
  
*
  
*Does this property have a name ?
  
*If not, is it linked to some property of Lindelöf spaces (like a countability axiom) 
  
*If not, is it an ingredient to prove some known thing related to Lindelöf spaces ?
  

 A: The property $(1)$ is equivalent to the requirement that if $A\subseteq X$ is uncountable, then there is an $x\in X$ such that $U\cap A$ is uncountable for each open nbhd $U$ of $x$. In other words, each uncountable subset of $X$ has a condensation point in $X$. As you observe, every Lindelöf space has this property; the converse, however, is not true.

Example. Let $X$ be $\omega_2$ with the order topology. For $\alpha\in\omega_2$ let
$$U_\alpha=[0,\alpha)=\{\xi\in\omega_2:\xi<\alpha\}\;,$$
and let $\mathscr{U}=\{U_\alpha:\alpha\in\omega_2\}$; $\mathscr{U}$ is an open cover of $X$ with no countable subcover. (Indeed, $\mathscr{U}$ has no subcover of cardinality $\omega_1$, either.) Now suppose that $A\subseteq X$ is uncountable; there is a least $\alpha\in\omega_2$ such that $U_\alpha\cap A$ is uncountable. If $\alpha$ were not a condensation point of $A$, there would be a $\beta<\alpha$ such that $(\beta,\alpha]\cap A$ was countable, but then $U_\beta\cap A$ would be uncountable, contradicting the choice of $\alpha$. Thus, $\alpha$ is a condensation point of $A$.

The fact that $\mathscr{U}$ in the example has no subcover of cardinality $\omega_1$ is not an accident.

Theorem. If $X$ has property $(1)$, and every open cover of $X$ has a subcover of cardinality at most $\omega_1$, then $X$ is Lindelöf.
Proof. If $X$ is not Lindelöf, it has an open cover $\mathscr{U}$ with no countable subcover, and we may assume that $|\mathscr{U}|=\omega_1$ and enumerate $\mathscr{U}=\{U_\xi:\xi<\omega_1\}$. For each $\eta<\omega_1$ let $$F_\eta=X\setminus\bigcup_{\xi<\eta}U_\xi\;;$$ each $F_\eta$ is a non-empty closed set, and $\bigcap_{\eta<\omega_1}F_\eta=\varnothing$. For $\eta<\omega_1$ let $x_\eta\in F_\eta$, and let $A=\{x_\eta:\eta<\omega_1\}$. The points $x_\eta$ may not all be distinct, but I claim that $A$ is uncountable.
Suppose not; then there is an $x\in A$ such that $E=\{\eta<\omega_1:x_\eta=x\}$ is uncountable. But for each $\eta\in E$ we have $x=x_\eta\notin\bigcup_{\xi<\eta}U_\xi$, so $$x\notin\bigcup_{\eta\in E}\bigcup_{\xi<\eta}U_\xi=\bigcup\mathscr{U}=X\;,$$ which is impossible.
Now let $x\in X$; clearly $x\in U_\eta$ for some $\eta<\omega_1$. Let $V=X\setminus F_{\eta+1}=\bigcup_{\xi\le\eta}U_\xi$; $V$ is an open nbhd of $x$, and $V\cap A\subseteq\{x_\xi:\xi\le\eta\}$, so $V\cap A$ is countable, and $x$ is not a condensation point of $A$. Thus, $A$ has no condensation point, contradicting the hypothesis that $X$ has property $(1)$. It follows that $X$ must be Lindelöf after all. $\dashv$

I’ve not seen property $(1)$ used much, but a strengthening of it is equivalent to $X$ being hereditarily Lindelöf.

Theorem. A space $X$ is hereditarily Lindelöf if and only if each uncountable subset of $X$ contains a condensation point of itself.

This is not hard to prove, and you can also find a proof in Dan Ma’s Topology Blog.
