First, we recall that the order of edit operations called σ k inside the sequence δ (i) is partially determined by their elements.
it can be shown, more generally that the order restriction in (7), (8) leads directly to where the order between any two edit operations in δ (i) , called σ k , σ l is free only in the case of multiple insertion acting on the same position of a string, i.e.