你翻译的对
identity译成恒等式,或单位元
equation就是方程
区别是恒等式对于任何未知数都成立,不以式子中未知元的改变而改变.而方程只对满足条件的值成立.