Definition:Differential Field

Definition
A differential field is a differential ring which is a field.