unification set

Мат. множество унификации