Local correctability of a stabilizer code
= Local correctability of a stabilizer code
If every pairwise product $E_a^\dagger E_b$ has weight below the code distance, it cannot be a nontrivial logical operator. The Knill--Laflamme conditions then hold for the whole error set.