noun

1. The act of unifying.

2. The state of being unified.

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