Se dice que un código formula_1 corrige formula_2-errores si para cada palabra formula_9 en el subyacente espacio de Hamming formula_10 existe al menos una palabra formula_11 tal que la distancia de Hamming entre formula_9 y formula_13 es menos que formula_2.