Unification

A unification (merging) is

an operation in logic, see unification (logic) ,
in linguistics an operation in a unification grammar ,
in Unicode the merging of CJK characters recognized as being the same, see Unicode .