non-standard analysis,
n.
a formalization of analysis that allows rigorously for the existence of
infinitesimals
.
