Definitorische Erweiterung

Eine Relation zwischen Theorien, bei der eine neue Theorie aus einer Basistheorie durch Hinzufügen neuer Symbole zusammen mit expliziten definitorischen Axiomen entsteht, die diese Symbole in der Basissprache eindeutig charakterisieren, sodass keine neuen Sätze in der ursprünglichen Sprache hinzukommen (Konservativität).