PanLinx: differential neighborhood

English	eng-000
differential neighborhood

русский	rus-000	бесконечно малая окрестность
русский	rus-000	дифференциальная окрестность

PanLex-PanLinx