A function is functionally dependent on if for certain function .
And are called functionally independent if the differentials are linearly independent in a open set , that is, the Jacobian of has maximal rank for . It is the same as saying that is a submersion.
Or, in another way, every is a regular point of . So therefore, for every , is an embedded manifold.