differential algebra
an algebra equipped with a derivation
differential graded Lie algebra
graded Lie algebra equipped with a compatible differential
differential graded algebra
differential associative algebra with integer grading in which the differential has grading +1 (cohomological convention) or −1 (homological convention)
Hardy field
field consisting of germs of real-valued functions at infinity that are closed under differentiation