unification in Russian

The act of unifying.

(mathematical logic, computer science) Given two terms, their join with respect to a specialisation order.