The Singleton bound states that a code of 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
, it becomes
. A code attaining equality
is a maximum distance separable code
(Fan 2026).