definitional extension

Мат. дефинициональное расширение