Most general unifier (semantics)

The most general unifier of $\mathcal{U}$ is a unifier $\sigma$ such that any other unifier $p$ is an instance of $\sigma$.