Systems of generators for ideals of algebra of convergent differential series

Differential algebra of convergent power series that depend on an arbitrary finite number of variables is considered. The concept of a passive family of generators is defined for a differential ideal of this algebra. It is a further extension of the concept of the Groebner basis. The theorem that allows checking whether a family of generators is passive and ensures that the point solution of an infinite system of equations exists and is unique in this algebra is proved.