unification

The act of unifying.

The state of being unified.

(mathematical logic) Given two terms, their join with respect to a specialisation order.