Se define de tal modo que para cada campo vectorial "Y" en "M" la identidad