generable predicate

Мат. генерируемый предикат