See [here][1] for a few examples, such as recursion theory becoming computability theory, (linear) complex groups becoming symplectic groups (change due to Weyl), bicompact becoming compact, and pre-schemes becoming schemes. Other examples: Gaussian integers used to be called complex integers, the term "group" initially referred only to what we'd call finite groups (existence of an inverse was not initially part of the definition, since it followed from the definition using finiteness) and Lie algebras were previously called infinitesimal groups (the change to Lie algebras is due to Weyl). [1]:https://mathoverflow.net/questions/175833/what-recent-programmes-to-alter-highly-entrenched-mathematical-terminology-have