The Free On-line Dictionary of Computing (30 December 2018):

most general unifier

    If U is the most general unifier of a set of
   expressions then any other unifier, V, can be expressed as V =
   UW, where W is another substitution.

   See also unification.

   (2000-03-07)