 Let formula_28 be a real submanifold, defined locally as the locus of a system of smooth real-valued functions

Suppose that the complex-linear part of the differential of this system has maximal rank, in the sense that the differentials satisfy the following "independence condition"