Это свойство подразумевает, что каждый шаг (и алгоритм в целом) после своего завершения даёт среду, в которой все имеющиеся объекты однозначно определены. Если это по каким - либо причинам невозможно, то алгоритм должен сообщать, что решение задачи не существует.
