>>737
恒等的にとか任意のとか、定義域無視して言うのはどうしてかな？
元の問題に即して言えば、zはx,yに束縛されるけど、x,yは自由だという意味で
恒等的って言ってるはずだよね？