Definitional Extension

A relation between theories where a new theory is formed from a base theory by adding new symbols together with explicit defining axioms that uniquely characterize those symbols in terms of the base language, with the result that no new theorems in the original language are introduced (conservativity).