предикатная интерпретация

Мат. predicate interpretation