infinitesimalness

not defined yet