Before revision: The enlarged structure s is called a definitional extension of the original structure.
After revision: The enlarged tructure s is called a definitional extension of the original structure.