En la teoria de códigos, la desigualdad de Kraft, nombrada así debido a Leon Kraft, expresa las condiciones suficientes para la existencia de un código prefijo y, las condiciones necesarias para la existencia de un código unívocamente decodificable para un grupo dado de longitudes de palabra.