When it comes to limit we say $\lim_{x \rightarrow a} f(x)$ exists if and only if
\begin{equation} \tag{1} \lim_{x \to a+} f(x) = \lim_{x \to a-} f(x) \end{equation} (equating both sides of limit)
It simply implies that $f(x)$ should approach to same value from both sides. I derive the limit values using the basic limit theorems as in this link. So far fine. When it comes to one sided limits separately, I apply the same theorems with left or right direction in mind. If I am able to derive a reasonable value from theorem I can say that one sided limit exists for that particular direction. But I don't think,it is sound in conceptual thinking. I am looking for a mathematical definition of existence of One sided limit as in equation (1) for general limit
What is the mathematical explanation for the existence of one sided limits such as \begin{equation} \tag{2} \lim_{x \to a+} f(x) \end{equation} , \begin{equation} \tag{3} \lim_{x \to a-} f(x) \end{equation}
Is it possible to have a example where
\begin{equation} \tag{4} \lim_{x \to -a} f(x) , \lim_{x \to a} f(x) \end{equation} do not exists when we consider it separately
Further explanation with example
A function f(x) is said to be continuous on the right of a if it satisfies conditions
1) $\lim_{x \to +a} f(x)$ exits
2) $ f(a)$ is defined
3) $\lim_{x \to +a} f(x)$ =f(a)
DOUBT
How do we decide $\lim_{x \to +a} f(x)$ exits or not?. We know already how to check existence with $\lim_{x \to a} f(x)$ as in equation(1)

Well, there are many theorems which can be used to evaluate one sided limits (in exactly the same manner as they are used for the usual two sided limits). A successful evaluation of the limit means that it exists. Apart from this there are few theorems which allow us to infer the existence of a limit without performing any evaluation.
One such theorem is the following :