Terms for subject Programming containing binary relation

English	Russian
binary relation between terms and types	бинарное отношение между термами и типами (ssn)
binary relation R on set X	бинарное отношение R на множестве X (ssn)
composition of two binary relations	композиция двух бинарных отношений (ssn)
join of two binary relations	объединение двух бинарных отношений (ssn)
smallest binary relation	наименьшее бинарное отношение (ssn)
smallest binary relation between terms and types	наименьшее бинарное отношение между термами и типами (ssn)
smallest binary relation between terms and types satisfying all instances of the rules	наименьшее бинарное отношение между термами и типами, удовлетворяющее всем правилам (ssn)