Выдержка из книги
Урмаев А.С.
Основы моделирования на АВМ
Предикат может быть функцией одного переменного или нескольких. Тот факт, что значения предикатов лежат в М, позволяет рассматривать предикаты как дискретные переменные из М, и следовательно, позволяет применять к ним операции выбора inv, max, min.