すなわち、を満たす点の開近傍と点の開近傍、および函数の三つ組 "u", "v", "g" で、のグラフが上で関係を満足するもの、式で書けば内の各点で