A class of processes which attempt to round off a domain and simplify its theory by adjoining elements.
References
Kenneth, M. ``Domain Extension and the Philosophy of Mathematics.'' J. Philos. 86, 553-562, 1989.