生存数 $l_x$ と死力 $\mu_x$ の関係において、生存関数の微分形式として正しいものはどれか。

死力は生存数の減少率として定義され、$dl_x/dx = -l_x \mu_x$ が成立する。