Предикат
Любое математическое высказывание, в котором есть, по меньшей мере, одна переменная. ... является основным объектом изучения логики первого порядка
математическое высказывание меньшей мере
туристическое место