Correct Answer : Option (A) :   Most general unifier

Explanation : For every unifiable pair of expressions, there is a single most general unifier that is unique up to renaming of variables.