Как называется свойство набора кодов (словаря), которое определяет, что каждый код соответствует только одному значению, а каждое значение имеет только один код?

Для произвольных строк A, B, C, D (не равных нулю) из алфавита <b>ℋ</b> <br/> Если строки A и ABC принадлежат множеству <b>ℋ</b>, то строка BD не принадлежит множеству <b>ℋ</b>.<br/> Этот код не является префиксным, но обладает некоторыми его свойствами.