User:IssaRice/Tao's notation for limits

Tao's notation for a limit is $\lim _{x\to x_{0};\,x\in E}f(x)$.

Can we write this in a more standard way? basically, if we give one additional definition, we have the very appealing formula $\lim _{x\to x_{0};\,x\in E}f(x)=\lim _{x\to x_{0}}f|_{E}(x)$.

The additional definition is this: if $f:X\to \mathbf {R}$, then we define $\lim _{x\to x_{0}}f(x):=\lim _{x\to x_{0};\,x\in X}f(x)$. In other words, by default we assume that the limit is taken over the entire domain of the function.

Now, given $f:X\to \mathbf {R}$ and some $E\subseteq X$, we have $f|_{E}:E\to \mathbf {R}$. Thus, $\lim _{x\to x_{0}}f|_{E}(x)=\lim _{x\to x_{0};\,x\in E}f|_{E}(x)$.

By exercise 9.4.6, $\lim _{x\to x_{0};\,x\in E}f(x)=\lim _{x\to x_{0};\,x\in E}f|_{E}(x)$

Combining these two equalities, we have $\lim _{x\to x_{0};\,x\in E}f(x)=\lim _{x\to x_{0}}f|_{E}(x)$ as promised.

Why might one prefer one notation over the other? I think the strength of Tao's notation is that it works for anonymous functions/expressions. To be able to use the function restriction notation $f|_{E}$, we must have named our function beforehand. To give an example, we can write something like $\lim _{x\to 0;\,x\in (0,\infty )}|x|/x=1$, but this is difficult to write in the other notation; we would have to say something like, "Let $f:\mathbf {R} \setminus \{0\}\to \mathbf {R}$ be define by $f(x):=|x|/x$. Then we have $\lim _{x\to 0}f|_{(0,\infty )}=1$."