Overspill

proof technique in non-standard analysis, is less commonly called overflow

en-GB/ˈəʊvəspɪl/
en-US/ˈoʊvɚˌspɪln/

Categories: