EDB — 0B3

”P(x) holds eventually for $x$ tending to $x_0$” if

there is a neighborhood $U$ of $x_0$ $\forall x\in U\cap I,$ P(x) is true  ;

”P(x) frequently holds for $x$ tending to $x_0$” if

for every neighborhood $U$ of $x_0$ $\exists x\in U\cap I$ for which P(x)  ;