Semi-$\C$-sets
We now return to $\Ps{R}{X}$-sets or, more generally, to so-called $\C$-sets, where $\C = (\C_n)_{n \in \NN}$ is a collection of subrings $\C_n$ of $C^\infty_n$ obtained as follows: for every polyradius $r \in (0,\infty)^n$, we assume being given a subring $\C_r$ of $C^\infty_r$ such that, (C1) for $f \in \C_r$, there exists $s > r$…