Extension Définitionnelle

Une relation entre théories où une nouvelle théorie est obtenue à partir d'une théorie de base en ajoutant de nouveaux symboles accompagnés d'axiomes définitoires explicites qui caractérisent ces symboles en termes du langage de base, de sorte qu'aucun nouveau théorème dans le langage original n'est introduit (conservativité).