The Singleton bound states that a code containing at least two codewords
and having length
over an alphabet of size
, with minimum Hamming
distance
, satisfies
Deleting any
coordinates maps distinct codewords to distinct words,
which proves the bound. For a linear code of dimension
over a finite
field with
elements, it becomes
. A code
attaining equality is a maximum distance
separable code (Singleton 1964, p. 116; Fan 2026).