analytic predicate

[ریاضیات] محمول تحلیلی