Sea
el campo primo consistente de dos elementos con sus operaciones de suma y producto usuales (XOR y AND respectivamente). Las potencias cartesianas
tienen naturalmente una estructura de espacio vectorial sobre
.
Un código binario es uno de la forma
.