一変数有理係数有理式体Q(t)は、∂(t)=1と正規化することで決まる、微分体として一意な構造を持つ（体の公理および微分の公理は、微分がtに関する通常の微分となることを保証する）。
域Q(t)具有惟一的结构成为一个微分域，由令∂(t)=1确定：域公理与导子的公理奇异保证导子是关于t的导数。