The condition of being inseparable
The state of being unified.
Given two terms, their join with respect to a specialisation order.
The act of unifying.