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.