Расширение дифференциального поля
Расшире́ние дифференциа́льного по́ля , дифференциальное поле с таким множеством дифференцирований , что ограничение на совпадает с множеством дифференцирований, заданных на . В свою очередь, будет дифференциальным подполем поля . Пересечение любого множества дифференциальных подполей в является дифференциальным подполем поля .