亦作“恒等式”。数学方程中等号两边所含的未知量，无论用任何数代替，两边数值永远相等，这样的方程叫恒等式。