трехместный предикат

Мат. triadic predicate