infinitesimality

not defined yet