等式的定义是用等号表示相等关系的式子。所以0等于0符合。一般会把等式和方程做区分。方程是含有未知数的等式。方程一定是等式，等式确不一定是方程。