A binary block code of length is a subset . Its size is , and its minimum Hamming distance is
Thus an code consists of binary words of length whose distinct pairs differ in at least coordinates. When , every set of distinct words qualifies. Taking all of the binary vector space gives words, and no code can contain more words than its ambient space. Hence
For a binary block code, is the common length of its codewords, is the number of codewords, and
is its minimum Hamming distance.
The parity extension is
Every extended word has even Hamming weight. The distance between two words increases by one exactly when their original distance is odd, so