On formal theory of differential equations. III.
Elements of the general theory of Lie-Cartan pseudogroups (including the intransitive case) are developed within the framework of infinitely prolonged systems of partial differential equations (diffieties) which makes it independent of any particular realizations by transformations of geometric object. Three axiomatic approaches, the concepts of essential invariant, subgroup, normal subgroup and factorgroups are discussed. The existence of a very special canonical composition series based on Cauchy...