Terms containing smallest binary relation

Subject	English	Russian
progr.	smallest binary relation	наименьшее бинарное отношение (ssn)
progr.	smallest binary relation between terms and types	наименьшее бинарное отношение между термами и типами (ssn)
progr.	smallest binary relation between terms and types satisfying all instances of the rules	наименьшее бинарное отношение между термами и типами, удовлетворяющее всем правилам (ssn)