 Knill--Laflamme condition

A code projector $P$ corrects errors $\{E_a\}$ exactly when $P{E}_a^{†}{E}_{b}P=C_{ab}P$ for every pair.