Un cuerpo diferenciable "F" es un campo "F" (las funciones racionales sobre los números racionales, por ejemplo) en el que se ha definido una aplicación de diferenciación "u" → ∂"u" (donde ∂"u" es una nueva función, de tal manera que para dos elementos del campo "F", la operación de diferenciación es lineal: