より一般的に、''C''級関数が凸関数であるための必要十分条件は、凸集合の内部で、ヘッセ行列が半正値であることである.
''C''