①恒等式：等号两边代数式中的字母无论取什么样的值，都能使等号两边代数式的值相等，这样的等式叫做恒等式．例如，2＋3＝5，a＋a＝2a，（x＋y）（x－y）＝x2－y2等，都是恒等式．
②条件等式：等号两边代数式中的字母只有取某些值时，才能使等号两边代数式的值相等，这样的等式叫做条件等式．例如，2x＝6，只有当x＝3时，等号两边的值才能相等；x2＋7x＋3＝3，只有当x＝0或x＝－7时．等号两边的值才能相等，所以它们是条件等式．
③矛盾等式：在形式上用等号连接的式子，而实质上无法成为事实，或在指定的数的范围内，找不到文字符号所取的值，能使等号两边的值相等．
这样的等式叫做矛盾等式．例如，a＋1＝a＋2就是矛盾等式．
式子两边永远相等的式子是恒等式，如：
若ax+b恒等于2x+3，则a=2,b=3
集合a={a,b,c}上的恒等关系和全关系
恒等关系是｛
