Singleton-gränsen (uppkallad efter R.C. Singleton) sätter en gräns för kraften i en kod med tecken från längdfältet och minsta Hamming-avstånd .
Låt beteckna den maximala möjliga kardinaliteten av -ary längdkod ( -ary code är en kod över ett fält av element). Låt det minsta Hamming-avståndet mellan två kodord vara , det vill säga för alla två kodord och .
Sedan
Först och främst, notera att den övre gränsen för den maximala kardinaliteten för någon -är längdkod är lika med , eftersom varje komponent i ett givet kodord kan anta ett av olika värden oberoende av de andra komponenterna.
Låt vara en -ic-kod. Då är alla ord i koden olika. Om vi raderar de första tecknen i varje ord, måste alla återstående kodord förbli olika, eftersom Hamming-avståndet mellan kodorden är minst . Därför förblev kraften i koden efter borttagningen av tecken densamma.
Ny ordlängd
och därför är den maximala möjliga kardinaliteten för en sådan kod
Från detta följer den övre gränsen för makten för den ursprungliga koden :
När det gäller linjekoder kan man skriva Singleton bound som
eller
Linjära koder för vilka likheten gäller kallas separerbara koder med ett maximalt avstånd eller MDS-koder. Välkända representanter för denna kodfamilj är Reed-Solomon-koden och koderna som bildas av den.