Strict inclusion in subdifferential sum rule $\partial{f(x)}+\partial{g(x)}\subseteq{\partial(f+g)(x)}$. I wish to find an example to show that the inclusion in the subdifferential sum rule
$$\partial{f(x)}+\partial{g(x)}\subseteq{\partial(f+g)(x)}$$
is strict. However, I have a problem understanding the way this inclusion is stated.
This inclusion in the subdifferential sum rule is taken from the book Convex Analysis by R. Tyrrell Rockafellar, Page 223, Theorem 23.8. This theorem says:

Let $f_1,f_2,\dots,f_m$ be proper convex functions on $\mathbb{R}^n$, and $f=f_1+f_2+\cdots+f_m$, then  $\partial{f_1(x)}+\cdots+\partial{f_2(x)}\subset{\partial{f(x)}}~~~\forall{x}$.


It also says if the domains of the $f_i$s have common point, then the inclusion turns into equality. From what I understand, if the domains of the $f_i$s do not have common point, then the strict inclusion should hold. One of the many examples that I tried was the pair $\sqrt{1-x}$ and $\sqrt{x-2}$. These two functions do not have any point in common in their domains. However, I do not understand how we can add two functions whose domains do not overlap.
I have two main issues:

*

*Intuitively, the subset sign should be the other way around. In the last part of the answer to this question, there is an example where the inclusion is true for the case where the subset sign is the other way around. In addition, the example is in contradiction to the inclusion statement in the question.


*This might be an easy question, but how can we add two functions whose domains do not intersect?
Any insight and example that can help me understand this are really appreciated!

Here is an example in $\mathbb R^1$: Define
$$
f(x) =
\begin{cases}
-\sqrt{x} & \text{for } x \ge 0, \\
+\infty & \text{for } x < 0,
\end{cases}
$$
and
$$
g(x) =
\begin{cases}
0 & \text{for } x \le 0, \\
+\infty & \text{for } x > 0.
\end{cases}
$$
Thus, $f+g$ is the indicator function of $\{0\}$.
Then,
\begin{align*}
\partial f(0) &= \emptyset, \\
\partial g(0) &= [0,\infty), \\
\partial f(0) + \partial g(0) &= \emptyset, \\
\partial (f+g)(0) &= \mathbb R.
\end{align*}
