1: \begin{abstract}

2: \begin{center} {\bf Abstract} \end{center}

3: 

4: We consider a differential algebra $\mathcal{F}$ of formal power series in infinitely many variables.

5: We define the important notions of a normalized set of generators for an ideal of $\mathcal{F}$ and a regular quotient algebra. The concept of the passive collection being analog of involutive system of the nonlinear partial differential equations and Gr\"obner basis  is introduced. Using special partitions of the algebra $\mathcal{F}$ and action of a semigroup on $\mathcal{F}$,

6: the sufficient conditions of passivity are obtained. The proof of the main theorem essentially differs from similar one for the differential equations and we obtain more general statement.

7: 

8: %\keywords{algebra of differential series, action of the semigroup, passive collection}

9: %\end{abstract}