predicative relation

[ریاضیات] رابطه ی حملی