Dizione

1. atto o effetto dell'ampliare
2. sostituzione di un insieme con uno più ampio per rendere possibili determinate operazioni che conservano le proprietà formali delle operazioni definite nell’insieme dato

Voce su Wiktionary (si apre in una nuova scheda)