>F = 0はx, y, zの関数ではないから

恒等式に関数って呼ぶこと自体が変だな。