Свойство алгоритма, которое означает, что алгоритм состоит только из команд, входящих в состав команд исполнителя.