Amalgamation: Definition