ｎ変数部分帰納的関数ｆ、ｇについて質問ですが、
f \simeq g の定義って、｢ｆ、ｇの定義域が一致して、その定義域における値も一致している｣
つまり｢ｆ、ｇを(n+1)項関係関係と見たとき、集合としてｆ=ｇ｣という理解でいいですか？

それとも、｢ｆ、ｇの定義域は異なっていても良いが、ｆ、ｇ両方の定義域に属する元に対しては値が一致する｣ということですか？