Differential algebraic variety