Differential algebraic geometry is principally the study of solution sets to systems of algebraic differential equations, differential varieties. More formally, if (K, ∂₁, …, ∂_n) is a differential field and g₁, …, g_m is a sequence of differential polynomials over K in l variables, then the (K-points of the) differential variety associated to these data is