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