[1] [DFN[[RUBYB[クラフト][Kraft]]の不等式]]:
[CODE(math)[Σ[SUB[[VAR[i]]]] [VAR[q]][SUP[−|[VAR[α[SUB[[VAR[i]]]]]]|]] ([VAR[i]] = 1, 2, ..., [VAR[s]])]]
([CODE(math)[[VAR[s]]]] は[[符号語]]の総数,
[CODE(math)[[VAR[α[SUB[[VAR[i]]]]]]]]
は[[符号語]])。

[[マクミランの定理]]の不等式の別の表現。