>>956

F は2変数の連続関数ですが、別に連続であると書く必要は必ずしもないですよね。

2変数関数の連続性の定義は後に定義されるので、書かなかったほうがよかったかと
思います。