Natural operators of smooth mappings of manifoldswith metric fields

In this paper we introduce the concepts of both a natural bundle and a natural operator generalized for the case of the category Mf_m × Mf_m of cartesian products of two manifolds and products of local diffeomorphisms. It is shown that any r-th order natural bundle over M × N has a structure of an associated bundle (P^rM × P^rN)Z G_{m^r × Gm^r}]. We consider prolongations of such associated bundles and their reduction with respect to a chosen subgroup. The existence of a bijective correspondence between natural operators of order k and the equivariant mappings of the corresponding type fibers are proved. A basis of invariants of arbitrary order is constructed for natural operators of smooth mappings of manifolds endowed with metric fields or connections, with values in a natural bundle of order one.