関数方程式（１）と（２）が同値であるとは、（１）を満たす任意の関数
が（２）を満たし、（２）を満たす任意の関数が（１）を満たすことと
定義するらしいのですが、要するに（１）の解となる関数の集合と（２）の
解となる関数の集合が一致するということでしょうか？