Cartesian product
実数値関数のエピグラフ () とは、関数のグラフの上位にある点からなる集合を指す。すなわち、関数 のエピグラフとは直積集合 の部分集合