ディニ微分
補完数直線上では、各ディニ微分は常に存在する。しかし、それらの値は有限とは限らず、+∞ や −∞ となることもある(すなわち、ディニ微分は「拡張実数値」の意味において、常に存在する)。 f が局所リプシッツ連続ならば、ディニ微分 f + ′ {\displaystyle f'_{+}} は有限である。もし f が t において微分可能ならば、その t における各ディニ微分は通常の意味での微分に等しい。