Unifikation

Eine Unifikation (Zusammenführung) ist