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 .