infinitesimal neighborhood