Most general unifier

$S$ is the most general unifier of $F_1$ and $F_2$ if and only if, for all other unifiers $T$, there is some substitution $S^{\prime }$ such that $T(\{F_1,F_2\})=S^{\prime }(S(\{F_1,F_2\}))$.