二つの関数の組,に対して、