сильный предикат

Мат. strong predicate