Свойство алгоритма, которое предполагает, что при любых допустимых исходных данных все переходы между ветвями определены, а циклы разрешимы относительно любой переменной, называется