A mathematical operation that lifts a model to infinitesimal perturbations, used to test whether small changes preserve compositional constraints.