tanımsal genleşme anlamı İng. definitional extension Alm.definitionale Erweiterung Fr.extension définitionnelle
Bir biçimsel dizgenin abecesine bir ya da birden çok tanımlanmış imi katarak bu imlerin belirtik tanımlarını da bu dizgeye ilksav olarak katmakla elde edilen genleşmiş biçimsel dizge.