A well-formulated theory should be invariant under such transformations. Precisely, this means that the equations of motion and action (see below) are invariant. To achieve this, ordinary derivatives ∂ ∂ μ μ must be replaced by gauge-covariant derivatives D μ μ , defined as