半微分可能性
R 内の凸開部分集合上の任意の凸関数は、半微分可能である。
一変数のすべての半微分可能関数は連続であるが、多変数の場合にはこのことは真ではない。