relative predicate

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