とは、ある区間で定義された実数値関数で、区間内の任意の2点と開区間内の任意のに対して